2502 search results - page 432 / 501 » Using probabilistic model checking in systems biology |
149
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
140
click to vote
SPEECH
2008
15 years 3 months ago
2008
The ever-increasing volume of audio data available online through the world wide web means that automatic methods for indexing and search are becoming essential. Hidden Markov mod...
121
click to vote
CHI
2000
ACM
15 years 8 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...
148
click to vote
PAA
2008
15 years 3 months ago
2008
Abstract We introduce a system that processes a sequence of images of a front-facing human face and recognises a set of facial expressions. We use an efficient appearance-based fac...
144
click to vote
TSE
2002
15 years 3 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...