1715 search results - page 12 / 343 » How Space Structures Language |
VLDB
2003
ACM
14 years 7 months ago
2003
ACM
Due to their expressive power, Regular Expressions (REs) are quickly becoming an integral part of language specifications for several important application scenarios. Many of thes...
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
CTCS
1989
Springer
13 years 11 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
AAAI
2012
11 years 9 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...