Sciweavers

2072 search results - page 317 / 415
» Towards Grid Based Intelligent Information Systems
Sort
View
ICAIL
2007
ACM
15 years 5 months ago
Semantic Spaces and Multilingualism in the Law: The Challenge of Legal Knowledge Management
It is the concern of the author to arrange cogitations and experiences she gained by collaborating in relevant international project works, by conducting scientific studies regard...
Doris Liebwald
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 8 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
TWC
2010
14 years 10 months ago
Primary User Enters the Game: Performance of Dynamic Spectrum Leasing in Cognitive Radio Networks
Dynamic spectrum leasing (DSL) is one of the schemes proposed for dynamic spectrum sharing (DSS) in cognitive radio networks. In DSL, spectrum owners, denoted as primary users, dyn...
Gonzalo Vazquez-Vilar, Carlos Mosquera, Sudharman ...
TABLEAUX
2009
Springer
15 years 10 months ago
A Novel Architecture for Situation Awareness Systems
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
Franz Baader, Andreas Bauer 0002, Peter Baumgartne...
AAAI
2000
15 years 5 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski