Sciweavers

4028 search results - page 500 / 806
» Research Issues in Biometrics
Sort
View
ACMACE
2005
ACM
15 years 8 months ago
AI middleware as means for improving gameplay
Current commercial AI middleware are still far from being a generic and flexible tool for developing computer games. Also the literature lacks proposals in this field. In this w...
Börje Karlsson, Bruno Feijó
CSCLP
2008
Springer
15 years 8 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...
170
Voted
ECAI
2008
Springer
15 years 8 months ago
Multi-valued Pattern Databases
Pattern Databases were a major breakthrough in heuristic search by solving hard combinatorial problems various orders of magnitude faster than state-of-the-art techniques at that ...
Carlos Linares López
FOIKS
2008
Springer
15 years 8 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...
BCSHCI
2008
15 years 8 months ago
Seeding without leading: making space for participant contribution in design elicitation techniques
As HCI embraces experience design, it will increasingly rely on new elicitation methods that are capable of drawing out the multi-faceted subjectivities of individuals without bei...
Ann Light, Pam Briggs, Karen Martin