Sciweavers

8555 search results - page 195 / 1711
» Property Based Coordination
Sort
View
AAAI
1997
15 years 6 months ago
A Script-Based Approach to Modifying Knowledge Bases
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
Yolanda Gil, Marcelo Tallis
COORDINATION
2009
Springer
16 years 5 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 4 months ago
Left-Inverses of Fractional Laplacian and Sparse Stochastic Processes
The fractional Laplacian (-)/2 commutes with the primary coordination transformations in the Euclidean space Rd: dilation, translation and rotation, and has tight link to splines, ...
Qiyu Sun, Michael Unser
140
Voted
PR
2008
90views more  PR 2008»
15 years 4 months ago
Fast computation of geometric moments using a symmetric kernel
This paper presents a novel set of geometric moments with symmetric kernel (SGM) obtained using an appropriate transformation of image coordinates. By using this image transformat...
Chong-Yaw Wee, Paramesran Raveendran, R. Mukundan
SMA
2005
ACM
125views Solid Modeling» more  SMA 2005»
15 years 10 months ago
Multi-representation interaction for physically based modeling
For simulations involving complex objects, a number of different properties must be represented. An example of this is in modeling an object undergoing combustion—heat amounts,...
Zeki Melek, John Keyser