118 search results - page 5 / 24 » The Language Divide |
FMOODS
2003
15 years 24 days ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
63
Voted
FLAIRS
2007
15 years 1 months ago
2007
The paper describes a method of dividing complex sentences into segments, easily detectable and linguistically motivated units, which may provide a basis for further processing of...
SAC
2008
ACM
14 years 11 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
107
Voted
AAAI
2012
13 years 1 months ago
2012
We are developing a testbed for learning by demonstration combining spoken language and sensor data in a natural real-world environment. Microsoft Kinect RGBDepth cameras allow us...
223
click to vote
PLDI
2009
ACM
16 years 2 days ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....