3771 search results - page 650 / 755 » Subobject Transformation Systems |
104
Voted
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
131
Voted
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
101
Voted
EKAW
2006
Springer
15 years 6 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
95
Voted
ER
2006
Springer
15 years 6 months ago
2006
Springer
When trying to obtain semantical interoperability between different information systems, the integration of heterogeneous information sources is a fundamental task. An important st...
120
Voted
EUROCRYPT
2006
Springer
15 years 6 months ago
2006
Springer
The Isomorphism of Polynomials (IP) [28], which is the main concern of this paper, originally corresponds to the problem of recovering the secret key of a C scheme [26]. Besides, t...