5722 search results - page 964 / 1145 » Dynamic inference control |
154
click to vote
ECUMN
2007
Springer
16 years 23 days ago
2007
Springer
Multimedia group communication emerges to focal interest at mobile devices, enriching voice or video conferencing and complex collaborative environments. The Internet uniquely pro...
167
click to vote
FCT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
196
click to vote
FMCO
2007
Springer
16 years 23 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
156
click to vote
FPL
2007
Springer
16 years 23 days ago
2007
Springer
A biological organism’s ability to sense and adapt to its environment is essential to its survival. Likewise, environmentally aware computing systems avail themselves to a longe...
170
click to vote
FSR
2007
Springer
16 years 23 days ago
2007
Springer
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...