2226 search results - page 144 / 446 » Pdk: The System and Its Language |
158
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
181
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
164
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
149
click to vote
HPDC
1993
IEEE
15 years 10 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
169
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
Abstract In this paper, we describe our Question Answering (QA) system called QUANTUM. The goal of QUANTUM is to find the answer to a natural language question in a large document ...