7623 search results - page 377 / 1525 » Constructive Volume Modeling |
172
click to vote
AAAI
2006
15 years 8 months ago
2006
Cognitive modeling techniques provide a way of evaluating user interface designs, based on what is known about human cognitive strengths and limitations. Cognitive modelers face a...
188
click to vote
ENTCS
2002
15 years 6 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
173
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
This paper presents a new approach to language model construction, learning a language model not from text, but directly from continuous speech. A phoneme lattice is created using...
155
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Radio frequency identification (RFID) chips have been widely deployed in large-scale systems such as inventory control and supply chain management. While RFID technology has much...
177
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...