1798 search results - page 83 / 360 » Generating presentation constraints from rhetorical structur... |
HYBRID
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
105
click to vote
JCB
2007
14 years 11 months ago
2007
The discovery of non-coding RNA (ncRNA) motifs and their role in regulating gene expression has recently attracted considerable attention. The goal is to discover these motifs in ...
111
click to vote
KI
2009
Springer
15 years 5 months ago
2009
Springer
Today’s complex production systems allow to simultaneously build different products following individual production plans. Such plans may fail due to component faults or unfores...
WWW
2009
ACM
15 years 12 months ago
2009
ACM
Document summarization plays an increasingly important role with the exponential growth of documents on the Web. Many supervised and unsupervised approaches have been proposed to ...
KI
2001
Springer
15 years 3 months ago
2001
Springer
Abstract Coordinating the motion of multiple mobile robots is one of the fundamental problems in robotics. The predominant algorithms for coordinating teams of robots are decoupled...