1593 search results - page 214 / 319 » A visual programming system for automated problem solving |
140
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
139
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
110
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
— Pattern recognition has many applications in design automation. A generalized pattern recognition algorithm is presented in this paper which can efficiently extract similar pat...
141
click to vote
IEEECIT
2009
IEEE
15 years 11 months ago
2009
IEEE
Cloud platforms host several independent applications on a shared resource pool with the ability to allocate computing power to applications on a per-demand basis. The use of serv...
141
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— In this paper, we examine the problem of extrinsic calibration of multiple LIDARs on a mobile vehicle platform. To achieve fully automated and on-line calibration, the original...