2409 search results - page 260 / 482 » Logical systems for structured specifications |
147
click to vote
CIKM
1994
Springer
15 years 8 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
175
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
124
click to vote
JCDL
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes a comprehensive approach to construct robust multi-modal video classification on a specific digital source, broadcast news. Broadcast news has a very stable s...
164
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
155
click to vote
KDD
1995
ACM
15 years 8 months ago
1995
ACM
Discovering repetitive, interesting, and functional substructures in a structural database improves the ability to interpret and compress the data. However, scientists working wit...