3381 search results - page 334 / 677 » Extending Dependencies with Conditions |
207
click to vote
CSL
2005
Springer
16 years 10 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
192
click to vote
ICMI
2005
Springer
16 years 9 days ago
2005
Springer
Experience shows that decisions in the early phases of the development of a multimodal system prevail throughout the life-cycle of a project. The distributed architecture and the ...
186
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
142
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
In this paper we address the problem of automatically deriving vocabularies of motion modules from human motion data, taking advantage of the underlying spatio-temporal structure ...
182
click to vote
ESA
2003
Springer
16 years 16 hour ago
2003
Springer
We present an approach that extends the BentleyOttmann sweep-line algorithm [3] to the exact computation of the topology of arrangements induced by non-singular algebraic curves o...