4666 search results - page 907 / 934 » Equations on Timed Languages |
113
click to vote
FOCS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper deals with the evaluation of acyclic Boolean conjunctive queries in relational databases. By well-known results of Yannakakis [1981], this problem is solvable in polynom...
117
click to vote
VLDB
1998
ACM
15 years 4 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
101
click to vote
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
The World-Wide-Web is less agent-friendly than we might hope. Most information on the Web is presented in loosely structured natural language text with no agent-readable semantics...
100
click to vote
FGR
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper we rst describe how we have constructed a 3D deformable Point Distribution Model of the human hand, capturing training data semi-automatically from volume images via...
124
click to vote
TLCA
1997
Springer
15 years 4 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...