615 search results - page 44 / 123 » High-Level Nondeterministic Abstractions in |
RP
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Lossy counter machines (LCM’s) are a variant of Minsky counter machines based on weak (or unreliable) counters in the sense that they can decrease nondeterministically ...
109
click to vote
AVSS
2009
IEEE
15 years 8 months ago
2009
IEEE
— Classical tracking methods are often insufficient when dealing with complex scenarios. In order to solve tracking errors, innovative techniques based on the use of information ...
145
click to vote
OTM
2007
Springer
15 years 7 months ago
2007
Springer
As more semantic web services become on the Internet, it is feasible that users collaborate among them to save efforts in complex web solutions by sharing and reusing existing sema...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...
108
click to vote
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...