1948 search results - page 245 / 390 » Formalizing Mirror Theory |
160
Voted
HYBRID
2004
Springer
16 years 10 days 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...
191
Voted
LPNMR
2004
Springer
16 years 9 days 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 ...
176
click to vote
SEMWEB
2004
Springer
16 years 9 days 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 ...
167
Voted
WEBI
2004
Springer
16 years 9 days 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 ...
168
click to vote
WIA
2004
Springer
16 years 9 days 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, ...