Sciweavers

5105 search results - page 373 / 1021
» Approximate Structural Consistency
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida
195
Voted
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
191
Voted
BMVC
2001
15 years 9 months ago
3-D Object Recognition Based on Integration of Range Image and Gray-scale Image
In this paper, we propose a practical object recognition system which consists of two functional modules. The first is object extraction module using a range image, and the second...
Manabu Hashimoto, Kazuhiko Sumi
DIS
2008
Springer
15 years 8 months ago
Active Learning for High Throughput Screening
Abstract. An important task in many scientific and engineering disciplines is to set up experiments with the goal of finding the best instances (substances, compositions, designs) ...
Kurt De Grave, Jan Ramon, Luc De Raedt
ACL
2007
15 years 8 months ago
Inducing Combinatory Categorial Grammars with Genetic Algorithms
This paper proposes a novel approach to the induction of Combinatory Categorial Grammars (CCGs) by their potential affinity with the Genetic Algorithms (GAs). Specifically, CCGs...
Elias Ponvert