908 search results - page 131 / 182 » Generating maximal models using the stable model semantics |
191
click to vote
DILS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
141
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
150
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
134
click to vote
IJCSA
2008
15 years 4 months ago
2008
: Ubiquitous integrated computing makes possible new workflow processes and business models which can meet the challenges from the fast growing digital convergence. An integrated i...
130
click to vote
AMFG
2005
IEEE
15 years 10 months ago
2005
IEEE
Pose variations, especially large out-of-plane rotations, make face recognition a difficult problem. In this paper, we propose an algorithm that uses a single input image to accura...