5606 search results - page 520 / 1122 » Randomization Techniques for Graphs. |
197
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
The widespread availability of digital cameras and ubiquitous Internet access have facilitated the creation of massive image collections. These collections can be highly interconn...
185
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a learning based local search approach for propositional satisfiability is presented. It is based on an original adaptation of the conflict driven clause learning ...
135
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...
160
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...
213
click to vote
FASE
2005
Springer
16 years 12 days ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...