2664 search results - page 294 / 533 » Theory by Process |
167
click to vote
HYBRID
2004
Springer
16 years 1 days ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
194
click to vote
IJCNLP
2004
Springer
16 years 20 hour ago
2004
Springer
Multi-document discourse analysis has emerged with the potential of improving various NLP applications. Based on the newly proposed Cross-document Structure Theory (CST), this pap...
195
click to vote
LPAR
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
175
click to vote
SBIA
2004
Springer
16 years 6 hour ago
2004
Springer
This paper presents an overview of current work on the recognition of sign language and a prototype of a simple editor for a small subset of the Brazilian Sign Language, LIBRAS. Ha...
160
click to vote
WEBI
2004
Springer
16 years 1 hour ago
2004
Springer
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...