Sciweavers

933 search results - page 140 / 187
» Structure and Dynamics of Research Collaboration in Computer...
Sort
View
ICALP
2009
Springer
14 years 7 months ago
Maximum Bipartite Flow in Networks with Adaptive Channel Width
Traditionally, combinatorial optimization problems (such as maximum flow, maximum matching, etc.) have been studied for networks where each link has a fixed capacity. Recent resear...
Yossi Azar, Aleksander Madry, Thomas Moscibroda, D...
EMSOFT
2011
Springer
12 years 7 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
MABS
2005
Springer
14 years 1 months ago
Visual Modeling for Complex Agent-Based Simulation Systems
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
Candelaria Sansores, Juan Pavón, Jorge J. G...
ECCV
2006
Springer
13 years 9 months ago
Quantification of Growth and Motion Using Non-rigid Registration
Three-dimensional (3D) and four-dimensional (4D) imaging of dynamic structures is a rapidly developing area of research in medical imaging. Non-rigid registration plays an importan...
Daniel Rueckert, Raghavendra Chandrashekara, Paul ...

Book
2911views
15 years 6 months ago
Shape Analysis and Classification: Theory and Practice
"Advances in shape analysis impact a wide range of disciplines, from mathematics and engineering to medicine, archeology, and art. Anyone just entering the field, however, may...
Roberto M. Cesar Jr