7064 search results - page 1057 / 1413 » From States to Histories |
183
click to vote
ICMI
2004
Springer
16 years 7 days ago
2004
Springer
We present a generic approach to multimodal fusion which we call context based multimodal integration. Key to this approach is that every multimodal input event is interpreted and...
189
Voted
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
183
Voted
JIT
2004
Springer
16 years 6 days ago
2004
Springer
Software product lines (PLs) present a solid approach in large scale reuse. Due to the PLs’ inherit complexity, many PL methods use the notion of ”features” to support requir...
206
Voted
KDD
2004
ACM
16 years 6 days ago
2004
ACM
Mark-recapture models have for many years been used to estimate the unknown sizes of animal and bird populations. In this article we adapt a finite mixture mark-recapture model i...
212
Voted
MFCS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper deals with updates of XML documents that satisfy a given schema, e.g., a DTD. In this context, when a given update violates the schema, it might be the case th...