Sciweavers

599 search results - page 85 / 120
» To Feed or Not to Feed Back
Sort
View
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
15 years 9 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund
EUROPAR
2006
Springer
15 years 9 months ago
A One-Stop, Fire-and-(Almost)Forget, Dropping-Off and Rendezvous Point
In order to foster uptake by scientific and business users we need an easy way to access Grid resources. This is the motivation for the A-WARE project. We build upon a fabric layer...
Roger Menday, Björn Hagemeier, Bernd Schuller...
SMILE
2000
Springer
15 years 9 months ago
Frame Decimation for Structure and Motion
A frame decimation scheme is proposed that makes automatic extraction of Structure and Motion (SaM) from handheld sequences more practical. Decimation of the number of frames used...
David Nistér
VLDB
2000
ACM
128views Database» more  VLDB 2000»
15 years 9 months ago
Concurrency in the Data Warehouse
When a data warehouse is loaded at night and queried during the day, there is no requirement for concurrent update and querying. However there are a number of situations where con...
Richard Taylor
AAAI
2008
15 years 8 months ago
The PELA Architecture: Integrating Planning and Learning to Improve Execution
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
Sergio Jiménez, Fernando Fernández, ...