7066 search results - page 323 / 1414 » Contact Relations with Applications |
150
click to vote
EOR
2006
15 years 6 months ago
2006
: Aimed at detection of parallel assembly modes, a method for assembly graph construction is described that is based on the systematic generation and analysis of precedence relatio...
169
click to vote
PVLDB
2010
15 years 5 months ago
2010
We propose the demonstration of Keymantic, a system for keyword-based searching in relational databases that does not require a-priori knowledge of instances held in a database. I...
147
click to vote
ISSAC
2001
Springer
15 years 11 months ago
2001
Springer
Backward and mixed chains of recurrences are introduced. A complete set of chains of recurrences manipulation tools is described. Applications of these tools, related to the safet...
116
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
There has been relatively little analytical work on processor optimizations for multimedia applications. With the
173
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...