499 search results - page 67 / 100 » Real-World Reasoning with OWL |
186
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
194
Voted
EDCC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
172
Voted
FASE
2005
Springer
16 years 7 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
185
click to vote
CAISE
2004
Springer
16 years 3 days ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
167
click to vote
HICSS
2003
IEEE
16 years 7 hour ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...