1636 search results - page 121 / 328 » Type-Theoretic Functional Semantics |
146
click to vote
PODS
2010
ACM
15 years 8 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
106
click to vote
SEMWEB
2001
Springer
15 years 8 months ago
2001
Springer
The Semantic Web should enable greater access not only to content but also to services on the Web. Users and software agents should be able to discover, invoke, compose, and monit...
117
click to vote
VISUALIZATION
1991
IEEE
15 years 7 months ago
1991
IEEE
Interactive direct visualization of 3D data requires fast update rates and the ability to extract regions of interest from the surrounding data. We have implemented MultiValued Cl...
122
click to vote
ASWEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
168
click to vote
IADIS
2003
15 years 5 months ago
2003
In an audience driven approach to website design, the requirements of the different audiences are modeled as separated tiny conceptual schemas comparable to views. This has severa...