2012 search results - page 292 / 403 » CORAL - Control, Relations and Logic |
172
click to vote
SARA
2007
Springer
16 years 15 days ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
166
click to vote
ICTAI
2006
IEEE
16 years 13 days ago
2006
IEEE
Precedence constraints play a crucial role in planning and scheduling problems. Many real-life problems also include dependency constraints expressing logical relations between the...
138
click to vote
DEXAW
2005
IEEE
16 years 14 hour ago
2005
IEEE
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
146
click to vote
ENC
2005
IEEE
16 years 13 hour ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
151
click to vote
ICDE
2005
IEEE
16 years 6 hour ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...