Sciweavers

1242 search results - page 172 / 249
» Towards Context-Sensitive Intelligence
Sort
View
CIG
2006
IEEE
14 years 4 months ago
A Behavior-Based Architecture for Realistic Autonomous Ship Control
— Game environments provide a good domain for serious simulations such as those used in training Navy conning officers. Currently, a typical training scenario requires multiple ...
Adam Olenderski, Monica N. Nicolescu, Sushil J. Lo...
ICAT
2006
IEEE
14 years 4 months ago
Mobile Information Presentation Schemes for Supra-adaptive Logistics Applications
In supra-adaptive logistics systems, operative workers must be able to quickly and precisely retrieve objects from large storage areas with minimal training. We explore concepts to...
Björn Schwerdtfeger, Troels Frimor, Daniel Pu...
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
14 years 4 months ago
Radial distribution power flow studies in a remotely distributed environment
—With the continued push toward dispersed generation and distributed intelligent devices throughout the distribution system, a proper analysis method for understanding the operat...
Michael Kleinberg, Karen Miu, Chika O. Nwankpa
EEE
2005
IEEE
14 years 3 months ago
The EEE-05 Challenge: A New Web Service Discovery and Composition Competition
With growing acceptance of service-oriented computing, an emerging area of research is the investigation of technologies that will enable the discovery and composition of web serv...
M. Brian Blake, Kwok Ching Tsui, Andreas Wombacher
TPHOL
2005
IEEE
14 years 3 months ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...