Sciweavers

8486 search results - page 1296 / 1698
» Ordered Enumeration Method
Sort
View
KI
2007
Springer
16 years 1 months ago
Extending Markov Logic to Model Probability Distributions in Relational Domains
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
Dominik Jain, Bernhard Kirchlechner, Michael Beetz
MATES
2007
Springer
16 years 1 months ago
Coordinating Competitive Agents in Dynamic Airport Resource Scheduling
In real-life multi-agent planning problems, long-term plans will often be invalidated by changes in the environment during or after the planning process. When this happens, short-t...
Xiaoyu Mao, Adriaan ter Mors, Nico Roos, Cees Witt...
MCAM
2007
Springer
112views Multimedia» more  MCAM 2007»
16 years 1 months ago
SIEVE - Search Images Effectively Through Visual Elimination
Existing Web image search engines index images by textual descriptions including filename, image caption, surrounding text, etc. However, the textual description available on the W...
Ying Liu, Dengsheng Zhang, Guojun Lu
MIDDLEWARE
2007
Springer
16 years 1 months ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann
PAIRING
2007
Springer
132views Cryptology» more  PAIRING 2007»
16 years 29 days ago
Instruction Set Extensions for Pairing-Based Cryptography
A series of recent algorithmic advances has delivered highly effective methods for pairing evaluation and parameter generation. However, the resulting multitude of options means m...
Tobias Vejda, Dan Page, Johann Großschä...
« Prev « First page 1296 / 1698 Last » Next »