Sciweavers

525 search results - page 21 / 105
» Systems Development Using Z Generics
Sort
View
ICB
2007
Springer
482views Biometrics» more  ICB 2007»
14 years 1 months ago
Outdoor Face Recognition Using Enhanced Near Infrared Imaging
In this paper, we present a robust and accurate system for outdoor (as well as indoor) face recognition, based on a recently developed enhanced near-infrared (ENIR) imaging device....
Dong Yi, Rong Liu, Rufeng Chu, Rui Wang, Dong Liu,...
ICLP
1995
Springer
13 years 11 months ago
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel...
HICSS
2003
IEEE
92views Biometrics» more  HICSS 2003»
14 years 25 days ago
Distributed Energy-conserving Routing Protocols
This paper discusses several distributed poweraware routing protocols in wireless ad-hoc networks (especially sensor networks). We seek to optimize the lifetime of the network. We...
Qun Li, Javed A. Aslam, Daniela Rus
VISAPP
2007
13 years 8 months ago
Spatiotemporal context in robot vision: Detection of static objects in the robocup four legged league
Having as a main motivation the development of robust and high performing robot vision systems that can operate in dynamic environments, we propose a context-based generic vision s...
Pablo Guerrero, Javier Ruiz-del-Solar, Rodrigo Pal...
CBSQ
2003
Springer
14 years 23 days ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon