15372 search results - page 2670 / 3075 » The Semantics of Semantic Annotation |
230
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
239
click to vote
ATVA
2006
Springer
15 years 11 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
176
click to vote
COOPIS
2004
IEEE
15 years 11 months ago
2004
IEEE
The integration of event information from diverse event notification sources is, as with meta-searching over heterogeneous search engines, a challenging task. Due to the complexity...
194
click to vote
AUSDM
2006
Springer
15 years 11 months ago
2006
Springer
The Scamseek project, as commissioned by ASIC has the principal objective of building an industrially viable system that retrieves potential scam candidate documents from the Inte...
208
click to vote
CPAIOR
2004
Springer
15 years 11 months ago
2004
Springer
The graph isomorphism problem consists in deciding if two given graphs have an identical structure. This problem can be modeled as a constraint satisfaction problem in a very strai...