2135 search results - page 171 / 427 » An Operational Semantics for JavaScript |
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
Automatic semantic summarisation of human activity and detection of unusual inactivity are useful goals for a vision system operating in a supportive home environment. Learned mod...
121
Voted
CAI
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
144
click to vote
SEFM
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
116
click to vote
DALT
2005
Springer
15 years 7 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
102
click to vote
MUM
2004
ACM
15 years 7 months ago
2004
ACM
The Task Computing framework is designed to operate in dynamic ubiquitous environments in which a mobile computing user dynamically discovers the current set of available semantic...