Sciweavers

1797 search results - page 230 / 360
» Regularized Winnow Methods
Sort
View
ISAAC
2004
Springer
103views Algorithms» more  ISAAC 2004»
14 years 2 months ago
Structural Similarity in Graphs (A Relaxation Approach for Role Assignment)
Standard methods for role assignment partition the vertex set of a graph in such a way that vertices in the same class can be considered to have equivalent roles in the graph. Seve...
Ulrik Brandes, Jürgen Lerner
DOCENG
2003
ACM
14 years 2 months ago
Handling syntactic constraints in a DTD-compliant XML editor
By exploiting the theories of automata and graphs, we propose algorithms and a process for editing valid XML documents [4][5]. The editing process avoids syntactic violations alto...
Y. S. Kuo, Jaspher Wang, N. C. Shih
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
14 years 2 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
DGCI
2003
Springer
14 years 2 months ago
Shape Preserving Digitization of Ideal and Blurred Binary Images
In order to make image analysis methods more reliable it is important to analyse to what extend shape information is preserved during image digitization. Most existing approaches t...
Ullrich Köthe, Peer Stelldinger
ICRA
2002
IEEE
146views Robotics» more  ICRA 2002»
14 years 2 months ago
Intercepting a Falling Object: Digital Video Robot
Human based algorithms to catch fly balls have been research and studied. In this paper, the validity of the human models are tested by catching balls that are dropped vertically...
Keshav Mundhra, Anthony Suluh, Thomas Sugar, Micha...