1722 search results - page 264 / 345 » Generating Tests from Counterexamples |
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
A BN2O network is a Bayesian network having the structure of a bipartite graph with all edges directed from one part (the top level) toward the other (the bottom level) and where a...
INTETAIN
2009
Springer
14 years 2 months ago
2009
Springer
News aggregators are widely used to read RSS feeds but they require the user to be in front of a screen. While moving, people usually do not have any display, or very small ones. M...
PKDD
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Partially ordered feature sets appear naturally in many classification settings with structured input instances, for example, when the data instances are graphs and a fe...
COMSWARE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Presence technology is going to be an integral part of the next generation of communication technology. It can eliminate telephone tag between two parties (caller and callee), w...