2555 search results - page 213 / 511 » Putting complex systems to work |
204
click to vote
IJCAI
2001
15 years 8 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
194
click to vote
CAL
2006
15 years 6 months ago
2006
Modern programming languages often include complex mechanisms for dynamic memory allocation and garbage collection. These features drive the need for more efficient implementation ...
177
click to vote
NETWORK
2008
15 years 6 months ago
2008
Realistic, complex, outdoor environments pose significant challenges for node localization in Wireless Sensor Networks. In spite of the fact that many elegant and clever solutions...
178
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We briefly present the current state-of-the-art approaches for group and extended object tracking with an emphasis on particle methods which have high potential to handle complex...