Categories

AI (45)

9/16/2014   Building Software that Understands
1/25/2012   Microsoft AI Initiatives
1/23/2012   Conversational Interfaces Redux
10/24/2011   Siri Technology
10/24/2011   Siri and the Human Connection—The Eliza Effect
10/14/2011   Siri and the AI Revolution
10/14/2011   Conversational Interfaces: Siri & Shrdlu
1/7/2009   Smart Software Should Get Out Of Your Way
1/2/2008   Computation as the Ultimate Metaphor
1/2/2008   Human-like Reasoning
11/14/2007   Smart Machines
11/14/2007   Semantic Computing
5/15/2007   Symbolic Computing
3/16/2007   Code and Data
12/6/2006   Bullets Flying My Way
10/1/2006   Turing Test and Loebner Prize Competition
9/7/2006   Model-View
9/7/2006   Software Design Philosophy
6/21/2006   Direct UI
5/26/2006   Software Built to Replace a Human
5/13/2006   Functional Programming
5/11/2006   Wordprocessing
4/29/2006   A Modest Design Change
2/26/2006   Use Patterns
1/27/2006   AI Hubris
1/9/2006   The Concept of Concepts
1/8/2006   Intelligence vs Intellisense
11/5/2005   Thinking in Ifs
10/31/2005   3D Framework
10/31/2005   That's Impossible
10/30/2005   Content-Aware Desktop Applications
10/29/2005   Programmer's Myopia -- Natural Language Grammars
8/7/2005   On Intelligence
6/10/2005   Human vs Computer
1/29/2005   Language Oriented Programming
6/28/2004   Looking Back at My CS Education A Decade Later
6/28/2004   Natural Language Understanding
6/28/2004   AI
6/26/2004   Intentional Programming, Again
6/25/2004   Intentional Programming
6/23/2004   Graphical Source Code Editors
6/23/2004   Whidbey May Miss the Next Coding Revolution
5/26/2004   Kurzweil's Law -- Moore's Law Generalized
1/29/2004   Will Machines Become Conscious?
10/7/2003   Human-like Software

Announcements (1)

CS (2)

5/28/2005   Grand Unification
9/20/2003   Math and Computer Science

Entrepreneurship (5)

Natural Language (6)

NStatic (54)

1/14/2015   NStatic
1/14/2015   Plans for Year 2015
1/2/2008   Human-like Reasoning
11/14/2007   Supercompilation
10/5/2007   Specifications
8/18/2007   Scalability
7/26/2007   VB & Other .NET Languages
7/22/2007   Omniscient Debugging
7/21/2007   Methods, Part 1
7/18/2007   NStatic Usability
7/18/2007   Loops, Part 2
6/26/2007   NStatic Plans
6/21/2007   Loops, Part 1
6/18/2007   Equation Solving
6/17/2007   Execution Paths
5/15/2007   Coming Along
4/20/2007   Bug Tracking
4/19/2007   Estimation
3/29/2007   Spec# is Out
3/18/2007   Static Analysis Tools at the Summit
3/17/2007   Parameterized Unit Tests
3/7/2007   Anonymous Recursion
2/7/2007   NStatic Presentation, II
2/6/2007   NStatic Presentation
12/25/2006   Verification
12/20/2006   Program Verification
12/5/2006   Confirmed Talk
11/25/2006   Parameter Validation
11/1/2006   Effortless UI, II
10/24/2006   Real World Specs
10/23/2006   Interprocedural Analysis
10/23/2006   Last Mile
10/1/2006   NStatic Status
9/11/2006   Vista Issues
9/11/2006   Framework Bug #1
8/14/2006   Floating-Point Numbers
7/30/2006   NStatic Status
6/24/2006   Combinators
5/28/2006   Partial Office UI
5/4/2006   Workspaces
4/23/2006   Effortless UI, Part 1
4/1/2006   More on Specifications
3/31/2006   NStatic Social Interface
3/31/2006   Specifications
3/29/2006   Inductive UI
2/25/2006   NStatic Directions
2/25/2006   NStatic Walkthrough
2/8/2006   UI Decisions
1/17/2006   Bugs versus Limitations
1/16/2006   NStatic Status
1/8/2006   Intelligence vs Intellisense
12/18/2005   NStatic and Exceptions
12/18/2005   NStatic
11/20/2005   Static Analysis

Semantics (1)

Technology (14)

 

 

Navigation

Categories

About

SoftPerson develops innovative new desktop software applications by incorporating artificial intelligence and natural language technologies to bring human-like intelligence to everyday applications.

Social Media