Sciweavers

4064 search results - page 269 / 813
» Animation: can it facilitate
Sort
View
IFM
2010
Springer
142views Formal Methods» more  IFM 2010»
13 years 6 months ago
An Event-B Approach to Data Sharing Agreements
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, ...
MICCAI
2010
Springer
13 years 6 months ago
Tracked Ultrasound Elastography (TrUE)
Abstract. This paper presents a robust framework for freehand ultrasound elastography to cope with uncertainties of freehand palpation using the information from an external tracke...
Pezhman Foroughi, Hassan Rivaz, Ioana Fleming, Gre...
MIG
2010
Springer
13 years 6 months ago
Motion Parameterization with Inverse Blending
Abstract. Motion blending is a popular motion synthesis technique which interpolates similar motion examples according to blending weighs parameterizing high-level characteristics ...
Yazhou Huang, Marcelo Kallmann
TVCG
2010
194views more  TVCG 2010»
13 years 6 months ago
Declarative Language Design for Interactive Visualization
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
Jeffrey Heer, Michael Bostock
WEBI
2010
Springer
13 years 6 months ago
Boosting Biomedical Entity Extraction by Using Syntactic Patterns for Semantic Relation Discovery
Biomedical entity extraction from unstructured web documents is an important task that needs to be performed in order to discover knowledge in the veterinary medicine domain. In ge...
Svitlana Volkova, Doina Caragea, William H. Hsu, J...