153 search results - page 22 / 31 » Toward a Dynamic Logic of Questions |
RULEML
2005
Springer
14 years 4 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
RULEML
2010
Springer
13 years 9 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
LATIN
2010
Springer
14 years 5 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
HICSS
2008
IEEE
14 years 5 months ago
2008
IEEE
We examine the recent information visualization phenomenon known as tag clouds, which are an interesting combination of data visualization, web design element, and social marker. ...
OTM
2007
Springer
14 years 5 months ago
2007
Springer
A Decentralized Market Information System (DMIS) that aggregates and provides information about markets is an important component for achieving markets in Grid and Peer-to-Peer sys...