1711 search results - page 34 / 343 » Completing pseudojump operators |
FM
1997
Springer
13 years 12 months ago
1997
Springer
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
ISWC
1999
IEEE
14 years 3 days ago
1999
IEEE
This paper describes non-ideal properties of batteries and how these properties may impact power-performance trade-offs in wearable computing. The first part of the paper details ...
GTTSE
2007
Springer
13 years 11 months ago
2007
Springer
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
Emerging semantic web service description formalisms, such as OWL-S, allow for a definition of the semantic of services. Describing input and output types is not sufficient to dec...
FLAIRS
2007
13 years 10 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...