Sciweavers

4911 search results - page 554 / 983
» Tree dependence analysis
Sort
View
152
Voted
IWPC
2003
IEEE
15 years 10 months ago
Automatic Design Pattern Detection
We detect design patterns in legacy code combining static and dynamic analyses. The analyses do not depend on coding or naming conventions. We classify potential pattern instances...
Dirk Heuzeroth, Thomas Holl, Gustav Högstr&ou...
131
Voted
AP2PC
2003
Springer
15 years 10 months ago
A Robust and Scalable Peer-to-Peer Gossiping Protocol
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
Spyros Voulgaris, Márk Jelasity, Maarten va...
ECCV
2010
Springer
15 years 10 months ago
Learning What and How of Contextual Models for Scene Labeling
We present a data-driven approach to predict the importance of edges and construct a Markov network for image analysis based on statistical models of global and local image feature...
ICRA
2002
IEEE
120views Robotics» more  ICRA 2002»
15 years 9 months ago
Dynamic Dexterity for the Performance of "Wall-Bouncing" Tasks
In this paper, we consider ”wall-bouncing” task in which we repeat the process of hitting the ball that rebounds from the wall and the table as a typical example of dexterous ...
Masahiro Takeuchi, Fumio Miyazaki, Michiya Matsush...
CIE
2010
Springer
15 years 9 months ago
The Peirce Translation and the Double Negation Shift
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
Martín Hötzel Escardó, Paulo Ol...