Sciweavers

1664 search results - page 109 / 333
» Towards Partial Reasoning
Sort
View
109
Voted
DLOG
2000
15 years 2 months ago
Knowledge Representation on the Web
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...
Stefan Decker, Dieter Fensel, Frank van Harmelen, ...
133
Voted
ICSOC
2007
Springer
15 years 7 months ago
Mobile Ontology: Towards a Standardized Semantic Model for the Mobile Domain
Ontologies will be crucial for the future development of Next Generation Service Delivery Platforms. While various projects have defined ontologies for the mobile domain, there is ...
Claudia Villalonga, Martin Strohbach, Niels Snoeck...
FSS
2010
97views more  FSS 2010»
14 years 11 months ago
An early approach toward graded identity and graded membership in set theory
The paper considers an early approach toward a (fuzzy) set theory with a graded membership predicate and a graded equality relation which had been developed by the German mathemat...
Siegfried Gottwald
ESEC
1997
Springer
15 years 5 months ago
Executable Connectors: Towards Reusable Design Elements
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
Stéphane Ducasse, Tamar Richner
121
Voted
SNPD
2008
15 years 2 months ago
Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude
With the increasing number of medical devices and of accidents resulting from them being used in isolation in a hectic operating room, there is a trend towards integrating such de...
Peter Csaba Ölveczky