349 search results - page 35 / 70 » The feature construct for SMV: Semantics |
119
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
114
click to vote
ICFP
2010
ACM
14 years 12 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
114
click to vote
CVPR
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we present a systematic framework for recognizing realistic actions from videos “in the wild.” Such unconstrained videos are abundant in personal collections as...
186
click to vote
POPL
2008
ACM
16 years 3 days ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
109
click to vote
AAAI
2012
13 years 2 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...