Sciweavers

6881 search results - page 335 / 1377
» Motivation
Sort
View
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
16 years 4 days ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
SCVMA
2004
Springer
16 years 4 days ago
Structure from Periodic Motion
Abstract. We show how to exploit temporal periodicity of moving objects to perform 3D reconstruction. The collection of period-separated frames serve as a surrogate for multiple ri...
Serge J. Belongie, Josh Wills
SELMAS
2004
Springer
16 years 4 days ago
Composition of a New Process to Meet Agile Needs Using Method Engineering
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...
Massimo Cossentino, Valeria Seidita
WAC
2004
Springer
150views Communications» more  WAC 2004»
16 years 3 days ago
A Systems Architecture for Sensor Networks Based On Hardware/Software Co-design
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
Andy Nisbet, Simon Dobson
WAIM
2004
Springer
16 years 3 days ago
An Empirical Study of Building Compact Ensembles
Abstract. Ensemble methods can achieve excellent performance relying on member classifiers’ accuracy and diversity. We conduct an empirical study of the relationship of ensemble...
Huan Liu, Amit Mandvikar, Jigar Mody