Sciweavers

3925 search results - page 676 / 785
» Measuring software evolution
Sort
View
SIGIR
2003
ACM
14 years 2 months ago
XML retrieval: what to retrieve?
The fundamental difference between standard information retrieval and XML retrieval is the unit of retrieval. In traditional IR, the unit of retrieval is fixed: it is the comple...
Jaap Kamps, Maarten Marx, Maarten de Rijke, Bö...
CAV
2003
Springer
140views Hardware» more  CAV 2003»
14 years 2 months ago
Certifying Optimality of State Estimation Programs
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, ...
EUROCAST
2003
Springer
130views Hardware» more  EUROCAST 2003»
14 years 2 months ago
A Model of Neural Inspiration for Local Accumulative Computation
This paper explores the computational capacity of a novel local computational model that expands the conventional analogical and logical dynamic neural models, based on the charge ...
José Mira, Miguel Angel Fernández, M...
ICMI
2003
Springer
106views Biometrics» more  ICMI 2003»
14 years 2 months ago
Perceptual user interfaces using vision-based eye tracking
We present a multi-camera vision-based eye tracking method to robustly locate and track user’s eyes as they interact with an application. We propose enhancements to various visi...
Ravikrishna Ruddarraju, Antonio Haro, Kris Nagel, ...
IMR
2003
Springer
14 years 2 months ago
Meshing Complexity of Single Part CAD Models
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
David R. White, Sunil Saigal, Steven J. Owen