Sciweavers

1341 search results - page 226 / 269
» Automatic Algorithm Configuration Based on Local Search
Sort
View
CVPR
2000
IEEE
15 years 12 months ago
A Computational Model for Repeated Pattern Perception Using Frieze and Wallpaper Groups
Humans have an innate ability to perceive symmetry, but it is not obvious how to automate this powerful insight. In this paper the mathematical theory of Frieze and wallpaper grou...
Yanxi Liu, Robert T. Collins
82
Voted
ICALT
2007
IEEE
14 years 11 months ago
An Ontological Approach for Semantic Learning Objects Interoperability
This paper presents a semantic-aware classification algorithm that can leverage the interoperability among semantically heterogeneous learning object repositories using different ...
Ming-Che Lee, Kun Hua Tsai, Tung Cheng Hsieh, Ti K...
TACAS
2004
Springer
139views Algorithms» more  TACAS 2004»
15 years 3 months ago
Error Explanation with Distance Metrics
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
Alex Groce
CONCUR
2010
Springer
14 years 11 months ago
Buffered Communication Analysis in Distributed Multiparty Sessions
Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access. With such asynchron...
Pierre-Malo Deniélou, Nobuko Yoshida
HPDC
2012
IEEE
13 years 7 days ago
Work stealing and persistence-based load balancers for iterative overdecomposed applications
Applications often involve iterative execution of identical or slowly evolving calculations. Such applications require incremental rebalancing to improve load balance across itera...
Jonathan Lifflander, Sriram Krishnamoorthy, Laxmik...