3161 search results - page 95 / 633 » A Discourse on Complexity of Process Models |
135
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
133
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is...
OTM
2005
Springer
15 years 8 months ago
2005
Springer
UDDI is not suitable for handling semantic markups for Web services due to its flat data model and limited search capabilities. In this paper, we introduce an approach to allow for...
125
click to vote
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Creativity as modeled using the recluse genius paradigm fails to recognize the necessity and value of the collaborative aspects involved. Enhancing the creative output of teams wi...
135
click to vote
SMA
2008
ACM
15 years 3 months ago
2008
ACM
We present a framework for segmenting and storing filament networks from scalar volume data. Filament structures are commonly found in data generated using high-throughput microsc...