1202 search results - page 99 / 241 » Sortings for Reactive Systems |
155
click to vote
JMIV
2000
15 years 4 months ago
2000
Auto-calibration is the recovery of the full camera geometry and Euclidean scene structure from several images of an unknown 3D scene, using rigidity constraints and partial knowl...
224
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
207
click to vote
IWDC
2005
Springer
15 years 9 months ago
2005
Springer
:- The wide availability of mobile devices equipped with wireless communication capabilities together with the technical possibility to form ad hoc networks paves the way for build...
137
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
When a supply chain is established supply chain management (SCM) needs supporting tools for the tasks of operative planning, scheduling, and coordination. These tasks have to be p...
126
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...