Sciweavers

3754 search results - page 191 / 751
» Process modeling paradigms: an evaluation
Sort
View
QEST
2009
IEEE
16 years 26 days ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
CHI
2009
ACM
15 years 10 months ago
Supporting content and process common ground in computer-supported teamwork
We build on our prior work with computer-supported teams performing a complex decision-making task on maps, where the distinction between content and process common ground is prop...
Gregorio Convertino, Helena M. Mentis, Mary Beth R...
169
Voted
BIBE
2007
IEEE
126views Bioinformatics» more  BIBE 2007»
15 years 8 months ago
An End-to-End Process for Cancer Identification from Images of Lung Tissue
— This research describes a non-interactive process that applies several forms of computational intelligence to the task of classifying biopsy lung tissue samples based on visual...
Walker H. Land Jr., Daniel W. McKee, Tatyana Zhuko...
146
Voted
DAGSTUHL
2007
15 years 7 months ago
On the Cost of Shifting Event Processing within Wireless Environments
With the emergence of wireless sensor networks, the issues of event recognition and processing have been partially shifted into the embedded domain. New processing capabilities on...
Kirsten Terfloth, Katharina Hahn, Agnès Voi...
ICDE
2008
IEEE
127views Database» more  ICDE 2008»
16 years 7 months ago
Efficient Processing of Top-k Queries in Uncertain Databases
This work introduces novel polynomial algorithms for processing top-k queries in uncertain databases under the generally adopted model of x-relations. An x-relation consists of a n...
Ke Yi, Feifei Li, George Kollios, Divesh Srivastav...