2529 search results - page 185 / 506 » The Logical Structure of Binding |
190
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
168
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
183
click to vote
DMDW
2001
15 years 8 months ago
2001
Research on logical design of OLAP cubes has tended to assume that the rollup hierarchy in a cube dimension takes the form of a balanced tree. However, experience from industry in...
200
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
197
click to vote
TDM
2004
15 years 8 months ago
2004
To be able to handle the ever growing volumes of XML documents, effective and efficient data management solutions are needed. Managing XML data in a relational DBMS has great pote...