Sciweavers

3379 search results - page 571 / 676
» Combinators for Interaction Nets
Sort
View
CVIU
2006
158views more  CVIU 2006»
15 years 6 months ago
Sequential mean field variational analysis of structured deformable shapes
A novel approach is proposed to analyzing and tracking the motion of structured deformable shapes, which consist of multiple correlated deformable subparts. Since this problem is ...
Gang Hua, Ying Wu
EXPERT
2006
107views more  EXPERT 2006»
15 years 5 months ago
Provenance in Agent-Mediated Healthcare Systems
Agent-oriented cooperation techniques and standardized electronic healthcare record exchange protocols can be used to combine information regarding different facets of a therapy re...
Tamás Kifor, László Zsolt Var...
IPM
2008
139views more  IPM 2008»
15 years 5 months ago
Users can change their web search tactics: Design guidelines for categorized overviews
Categorized overviews of web search results are a promising way to support user exploration, understanding, and discovery. These search interfaces combine a metadata-based overvie...
Bill Kules, Ben Shneiderman
JAR
2008
107views more  JAR 2008»
15 years 5 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
INFSOF
2006
102views more  INFSOF 2006»
15 years 5 months ago
Comparison of software architecture reverse engineering methods
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
Catherine Stringfellow, C. D. Amory, Dileep Potnur...