Sciweavers

2827 search results - page 479 / 566
» CCured in the real world
Sort
View
IJAHUC
2006
71views more  IJAHUC 2006»
14 years 10 months ago
Elapsed time on arrival: a simple and versatile primitive for canonical time synchronisation services
: Time synchronisation is one of the most important and fundamental middleware services for wireless sensor networks. However, there is an apparent disconnect between existing time...
Branislav Kusy, Prabal Dutta, Philip Levis, Mikl&o...
ISCI
2008
117views more  ISCI 2008»
14 years 10 months ago
Search based software testing of object-oriented containers
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
Andrea Arcuri, Xin Yao
IJCV
2006
192views more  IJCV 2006»
14 years 10 months ago
Piecewise-Smooth Dense Optical Flow via Level Sets
We propose a new algorithm for dense optical flow computation. Dense optical flow schemes are challenged by the presence of motion discontinuities. In state of the art optical flo...
Tomer Amiaz, Nahum Kiryati
JAIR
2008
107views more  JAIR 2008»
14 years 10 months ago
Planning with Durative Actions in Stochastic Domains
Probabilistic planning problems are typically modeled as a Markov Decision Process (MDP). MDPs, while an otherwise expressive model, allow only for sequential, non-durative action...
Mausam, Daniel S. Weld
JISE
2008
108views more  JISE 2008»
14 years 10 months ago
Efficient Discovery of Frequent Continuities by Projected Window List Technology
Mining frequent patterns in databases is a fundamental and essential problem in data mining research. A continuity is a kind of causal relationship which describes a definite temp...
Kuo-Yu Huang, Chia-Hui Chang, Kuo-Zui Lin