3322 search results - page 427 / 665 » Automatic Human Model Generation |
197
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
164
click to vote
CAV
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
173
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
Supervised text classification is the task of automatically assigning a category label to a previously unlabeled text document. We start with a collection of pre-labeled examples ...
147
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
Designing information architecture for complex websites requires understanding user information needs and mental models in that domain. Personas, or user archetypes, created for s...
180
click to vote
MHCI
2005
Springer
15 years 12 months ago
2005
Springer
The growth of mobile technology has made recording of user’s location possible. The systems that intent to use location in order to register user’s movement and to use the gen...