Sciweavers

851 search results - page 134 / 171
» Automatic Record Reviews
Sort
View
MODELS
2009
Springer
14 years 15 days ago
An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example
Abstract. Predefined composite operations are handy for efficient modeling, e.g., for the automatic execution of refactorings, and for the introduction of patterns in existing mod...
Petra Brosch, Philip Langer, Martina Seidl, Konrad...
SEMWEB
2009
Springer
14 years 15 days ago
Semantic Enhancement for Enterprise Data Management
Taking customer data as an example, the paper presents an approach to enhance the management of enterprise data by using Semantic Web technologies. Customer data is the most import...
Li Ma, Xingzhi Sun, Feng Cao, Chen Wang, Xiaoyuan ...
SIGGRAPH
2010
ACM
14 years 13 days ago
Precomputed wave simulation for real-time sound propagation of dynamic sources in complex scenes
We present a method for real-time sound propagation that captures all wave effects, including diffraction and reverberation, for multiple moving sources and a moving listener in a...
Nikunj Raghuvanshi, John Snyder, Ravish Mehra, Min...
MICCAI
2001
Springer
14 years 11 days ago
Phase-Based User-Steered Image Segmentation
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...
Lauren O'Donnell, Carl-Fredrik Westin, W. Eric L. ...
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
14 years 11 days ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...