Sciweavers

6320 search results - page 970 / 1264
» Towards Situated Computing
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
15 years 12 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
ICOIN
2003
Springer
15 years 12 months ago
Do Not Trust All Simulation Studies of Telecommunication Networks
Since the birth of ARPANET and the first commercial applications of computer networks, through explosion of popularity of the Internet and wireless communications, we have witnes...
Krzysztof Pawlikowski
IPMI
2003
Springer
15 years 12 months ago
Neighbor-Constrained Segmentation with 3D Deformable Models
A novel method for the segmentation of multiple objects from 3D medical images using inter-object constraints is presented. Our method is motivated by the observation that neighbor...
Jing Yang, Lawrence H. Staib, James S. Duncan
ISMIS
2003
Springer
15 years 12 months ago
Enacting an Agent-Based Digital Self in a 24x7 Web Services World
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
Steve Goschnick
WEA
2010
Springer
281views Algorithms» more  WEA 2010»
15 years 11 months ago
Distributed Time-Dependent Contraction Hierarchies
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...
Tim Kieritz, Dennis Luxen, Peter Sanders, Christia...