17449 search results - page 520 / 3490 » Availability |
174
click to vote
HYBRID
2004
Springer
16 years 15 days ago
2004
Springer
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
165
click to vote
ICCS
2004
Springer
16 years 15 days ago
2004
Springer
In this paper we present a new infrastructure for building distributed applications that communicate through remote objects. The objects are available by the use of the Java RMI, e...
214
click to vote
ICWE
2004
Springer
16 years 15 days ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
153
click to vote
IWDC
2004
Springer
16 years 14 days ago
2004
Springer
Finding the location of an object, other than the sensor in a sensor network is an important problem. There is no good technique available in the literature to find the location o...
208
click to vote
JELIA
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...