Sciweavers

2393 search results - page 36 / 479
» Fuzzy-UCS: preliminary results
Sort
View
CP
2001
Springer
15 years 10 months ago
Automatic Generation of Implied Clauses for SAT
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
Lyndon Drake
AAAI
2008
15 years 8 months ago
User Identification by Means of Sketched Stroke Features
We present preliminary results of using physical features of a user's sketching style, such as pen tilt and pressure, to identify a user from their sketched strokes.
Brian Eoff, Tracy Hammond
ICAD
2004
15 years 7 months ago
Sound Design to Enhance Presence in Photorealistic Virtual Reality
The role of soundscape design to enhance the sense of presence in virtual reality is discussed and tested. Preliminary results which compare real versus virtual soundscapes are re...
Stefania Serafin, Giovanni Serafin
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 6 months ago
Dominion -- A constraint solver generator
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
Lars Kotthoff
SIMPRA
2010
558views more  SIMPRA 2010»
15 years 4 months ago
Species abundance patterns in an ecosystem simulation studied through Fisher's logseries
We have developed an individual-based evolving predator-prey ecosystem simulation that integrates, for the first time, a complex individual behaviour model, an evolutionary mecha...
Didier Devaurs, Robin Gras