Sciweavers

3775 search results - page 152 / 755
» The Expression Problem Revisited
Sort
View
135
Voted
TACAS
2010
Springer
241views Algorithms» more  TACAS 2010»
15 years 10 months ago
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
Matthieu Moy, Karine Altisen
160
Voted
CONSTRAINTS
2010
126views more  CONSTRAINTS 2010»
15 years 3 months ago
Lexicographically-ordered constraint satisfaction problems
Abstract. We describe a simple CSP formalism for handling multi-attribute preference problems with hard constraints, one that combines hard constraints and preferences so the two a...
Eugene C. Freuder, Robert Heffernan, Richard J. Wa...
143
Voted
CIKM
2009
Springer
15 years 7 months ago
Semantic queries in databases: problems and challenges
Supporting semantic queries in relational databases is essential to many advanced applications. Recently, with the increasing use of ontology in various applications, the need for...
Lipyeow Lim, Haixun Wang, Min Wang
137
Voted
DLOG
2004
15 years 5 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
124
Voted
ICTAI
2003
IEEE
15 years 9 months ago
S-MEP: A Planner for Numeric Goals
Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems ...
Javier Sanchez, Amol Dattatraya Mali