2467 search results - page 399 / 494 » Finite State Machines |
108
Voted
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
101
click to vote
NSDI
2010
15 years 2 months ago
2010
: Making cloud services responsive is critical to providing a compelling user experience. Many largescale sites, including LinkedIn, Digg and Facebook, address this need by deployi...
122
click to vote
UMUAI
2008
15 years 16 days ago
2008
We explored the reliability of detecting a learner's affect from conversational features extracted from interactions with AutoTutor, an intelligent tutoring system that helps...
112
Voted
ECCV
2006
Springer
16 years 2 months ago
2006
Springer
i Integration of surface normal vectors is a vital component in many shape reconstruction algorithms that require integrating surface normals to produce their final outputs, the de...
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...