Sciweavers

2960 search results - page 103 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
UM
2001
Springer
15 years 10 months ago
Modeling Literary Style for Semi-automatic Generation of Poetry
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
Pablo Gervás
IPPS
2006
IEEE
16 years 7 days ago
Execution and composition of e-science applications using the WS-resource construct
Service Oriented Architectures are emerging as the recommended paradigm for developing dispersed escience environments. In this paper we analyze the characteristics and requiremen...
Evangelos Floros, Yannis Cotronis
ECAI
2010
Springer
15 years 7 months ago
A constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
Valerio Genovese, Laura Giordano, Valentina Gliozz...
JOLLI
2002
109views more  JOLLI 2002»
15 years 5 months ago
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
Joeri Engelfriet, Jan Treur
SMA
1997
ACM
152views Solid Modeling» more  SMA 1997»
15 years 10 months ago
Structured Topological Complexes: A Feature-Based API for Non-Manifold Topologies
Much of recent research in representation schemes for solid modeling was focused on the extension of boundary representations to support non-manifold topologies. We introduce here...
Jarek Rossignac