4266 search results - page 568 / 854 » A Framework for Defining Logics |
173
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
170
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents the first segmentation operation defined within the 3D topological map framework. Firstly we show how a traditional segmentation algorithm, found in the literat...
176
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Current efforts in Semantic Web Services do not sufficiently address the industrial developments of SOA technology in regards to bottom-up modeling of services, that is, building i...
196
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
183
click to vote
APVIS
2010
15 years 8 months ago
2010
This paper introduces a new design to allow interactive, direct manipulation of volume data on volumetrically rendered images. We present an adaptive volume proxy mesh which serve...