587 search results - page 70 / 118 » Compactness of Loeb Spaces |
104
click to vote
ADC
2006
Springer
15 years 3 months ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
ETFA
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes an approach on the way towards dynamically configuring an application by discovering and using smart devices in a sensor/actuator network. The key to this are...
CIE
2005
Springer
15 years 3 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
122
click to vote
VOSS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
DOCENG
2003
ACM
15 years 3 months ago
2003
ACM
As Adobe's Portable Document Format has exploded in popularity so too has the number PDF generators, and predictably the quality of generated PDF varies considerably. This pa...