3954 search results - page 322 / 791 » Image-based Model Completion |
165
Voted
TASE
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
146
click to vote
CSFW
2007
IEEE
16 years 22 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
169
click to vote
ACIVS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this paper, we introduce a novel evolution-based segmentation algorithm by using the heat flow analogy, to gain practical advantage. The proposed algorithm consists of...
185
click to vote
COST
2007
Springer
16 years 17 days ago
2007
Springer
An articulatory speech synthesizer comprising a three-dimensional vocal tract model and a gesture-based concept for control of articulatory movements is introduced and discussed in...
191
click to vote
TLCA
2007
Springer
16 years 15 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...