908 search results - page 146 / 182 » Generating maximal models using the stable model semantics |
114
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
120
click to vote
WEBNET
2000
15 years 5 months ago
2000
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
109
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
142
click to vote
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— Visualizing software architecture faces the challenges of both data complexity and visual complexity. This paper presents an approach for visualizing software architect...
142
Voted
KES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...