7956 search results - page 1236 / 1592 » Into the Future |
208
click to vote
ICCCI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
182
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
192
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This work addresses the task of designing the optimal survey route that an autonomous underwater vehicle (AUV) should take in mine countermeasures (MCM) operations. It is assum...
159
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...
173
click to vote
IDA
2010
Springer
15 years 5 months ago
2010
Springer
According to Koestler, the notion of a bisociation denotes a connection between pieces of information from habitually separated domains or categories. In this paper, we consider a ...