Sciweavers

1656 search results - page 287 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
IEEEAMS
2003
IEEE
14 years 2 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
CSFW
1999
IEEE
14 years 1 months ago
A Meta-Notation for Protocol Analysis
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln...
NSF
1994
Springer
14 years 1 months ago
Physics in a Fantasy World vs. Robust Statistical Estimation
Deformable models in the \physically-based" paradigm are almost always formulated in an ad-hoc fashion, not related to physical reality { they apply the equations on physics i...
Terrance E. Boult, Samuel D. Fenster, Thomas O'Don...
BIB
2006
141views more  BIB 2006»
13 years 9 months ago
Statistical significance in biological sequence analysis
One of the major goals of computational sequence analysis is to find sequence similarities, which could serve as evidence of structural and functional conservation, as well as of ...
Alexander Yu. Mitrophanov, Mark Borodovsky
EGH
2007
Springer
14 years 3 months ago
Programmable shaders for deformation rendering
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...
Carlos D. Correa, Deborah Silver