1636 search results - page 22 / 328 » Reasoning About Quantum Systems |
122
click to vote
APWEB
2006
Springer
15 years 5 months ago
2006
Springer
Named Graphs is a simple, compatible extension to the RDF syntax that enables statements to be made about RDF graphs. This approach is in contrast to earlier attempts such as RDF r...
132
click to vote
DOLAP
2005
ACM
15 years 3 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
101
Voted
AAAI
2011
14 years 1 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
114
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
102
Voted
VL
1996
IEEE
15 years 6 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...