4753 search results - page 53 / 951 » Natural Modelling of Interactive Applications |
114
Voted
ENTCS
2010
14 years 11 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
102
click to vote
EACL
2010
ACL Anthology
15 years 3 months ago
2010
ACL Anthology
Abstract. Since the early days of generation research, it has been acknowledged that modeling the global structure of a document is crucial for producing coherent, readable output....
134
click to vote
SMI
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
128
Voted
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
151
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...