Sciweavers

136 search results - page 9 / 28
» separable and transitive graphoids
Sort
View
CSE
2009
IEEE
13 years 5 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
CGF
2010
165views more  CGF 2010»
13 years 4 months ago
Fast Particle-based Visual Simulation of Ice Melting
The visual simulation of natural phenomena has been widely studied. Although several methods have been proposed to simulate melting, the flows of meltwater drops on the surfaces o...
Kei Iwasaki, H. Uchida, Yoshinori Dobashi, Tomoyuk...
JSYML
2011
68views more  JSYML 2011»
12 years 10 months ago
Ramsey-like cardinals
This paper continues the study of the Ramsey-like large cardinals introduced in [Git09] and [WS08]. Ramsey-like cardinals are defined by generalizing the “existence of elementar...
Victoria Gitman
IROS
2009
IEEE
159views Robotics» more  IROS 2009»
14 years 2 months ago
Hiding real-time: A new approach for the software development of industrial robots
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
Alwin Hoffmann, Andreas Angerer, Frank Ortmeier, M...
ICPR
2008
IEEE
14 years 1 months ago
A new HMM for on-line character recognition using pen-direction and pen-coordinate features
A new hidden Markov model (HMM) is proposed for on-line character recognition using two typical features, pen-direction feature and pen-coordinate feature. These two features are ...
Yoshinori Katayama, Seiichi Uchida, Hiroaki Sakoe