Sciweavers

4298 search results - page 666 / 860
» Computing at the top of the world
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 5 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
126
Voted
ICRA
1995
IEEE
124views Robotics» more  ICRA 1995»
15 years 5 months ago
Active Camera Calibration Using Pan, Tilt and Roll
—Three dimensional vision applications, such as robot vision, require modeling of the relationship between the two-dimensional images and the three-dimensional world. Camera cali...
Anup Basu, Kavita Ravi
CSE
2009
IEEE
15 years 5 months ago
Completely Distributed Low Duty Cycle Communication for Long-Living Sensor Networks
A lifetime of several years for wireless sensor nodes can be achieved if their activity period is minimized. This can be done by using low duty cycle protocols. One of the challeng...
Marcin Brzozowski, Hendrik Salomon, Peter Langendo...
EDBT
2009
ACM
117views Database» more  EDBT 2009»
15 years 5 months ago
Parsimonious temporal aggregation
Temporal aggregation is a crucial operator in temporal databases and has been studied in various flavors. In instant temporal aggregation (ITA) the aggregate value at time instan...
Juozas Gordevicius, Johann Gamper, Michael H. B&ou...
CVPR
2010
IEEE
15 years 4 months ago
Shape and Refractive Index Recovery from Single-View Polarisation Images
In this paper, we propose an approach to the problem of simultaneous shape and refractive index recovery from multispectral polarisation imagery captured from a single viewpoint. ...
Cong Phuoc Huynh, Antonio Robles-Kelly, Edwin Hanc...