Sciweavers

2191 search results - page 280 / 439
» Evolutionary testing of classes
Sort
View
ALT
2009
Springer
16 years 23 days ago
Iterative Learning from Texts and Counterexamples Using Additional Information
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...
Sanjay Jain, Efim B. Kinber
VEE
2010
ACM
247views Virtualization» more  VEE 2010»
15 years 10 months ago
Capability wrangling made easy: debugging on a microkernel with valgrind
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
Aaron Pohle, Björn Döbel, Michael Roitzs...
ATAL
2009
Springer
15 years 10 months ago
Constraint-based dynamic programming for decentralized POMDPs with structured interactions
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...
Akshat Kumar, Shlomo Zilberstein
CVPR
2008
IEEE
15 years 10 months ago
Segmentation of multiple, partially occluded objects by grouping, merging, assigning part detection responses
We propose a method that detects and segments multiple, partially occluded objects in images. A part hierarchy is defined for the object class. Whole-object segmentor and part de...
Bo Wu, Ram Nevatia, Yuan Li
CIDM
2007
IEEE
15 years 10 months ago
Reactive Query Policies: A Formalism for Planning with Volatile External Information
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
Tsz-Chiu Au, Dana S. Nau