1948 search results - page 245 / 390 » Formalizing Mirror Theory |
151
click to vote
HYBRID
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
180
click to vote
LPNMR
2004
Springer
16 years 1 hour ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
163
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
160
click to vote
WEBI
2004
Springer
15 years 12 months 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 ...
164
click to vote
WIA
2004
Springer
15 years 12 months ago
2004
Springer
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...