2917 search results - page 173 / 584 » Satisfying Interaction Constraints |
ENTCS
2006
13 years 10 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
ISBI
2009
IEEE
14 years 5 months ago
2009
IEEE
A new user interaction method called interactive polygons is presented in this paper. These interaction polygons are designed for use with the Active Volume Model segmentation met...
HAID
2008
Springer
13 years 11 months ago
2008
Springer
The way users interact with mobile applications varies according to the context where they are. We conducted a study where users had to manipulate a multimodal questionnaire in 4 d...
WIAMIS
2009
IEEE
14 years 5 months ago
2009
IEEE
Computer vision systems for human-computer interaction have tended towards more precise forms of interface that require complex vision tasks such as segmentation, tracking, object...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Whilst techniques for narrative generation and agent behaviour have made significant progress in recent years, natural language processing remains a bottleneck hampering the scala...