Sciweavers

3922 search results - page 544 / 785
» Working Models for Uncertain Data
Sort
View
ASAP
2008
IEEE
105views Hardware» more  ASAP 2008»
15 years 1 months ago
Fast custom instruction identification by convex subgraph enumeration
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...
Kubilay Atasu, Oskar Mencer, Wayne Luk, Can C. &Ou...
CIARP
2008
Springer
15 years 1 months ago
Cluster Stability Assessment Based on Theoretic Information Measures
Abstract. Cluster validation to determine the right number of clusters is an important issue in clustering processes. In this work, a strategy to address the problem of cluster val...
Damaris Pascual, Filiberto Pla, José Salvad...
BPM
2006
Springer
149views Business» more  BPM 2006»
15 years 1 months ago
Verifying BPEL Workflows Under Authorisation Constraints
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
Zhao Xiangpeng, Antonio Cerone, Padmanabhan Krishn...
EKAW
2006
Springer
15 years 1 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
COLING
2008
15 years 15 days ago
A Classification of Dialogue Actions in Tutorial Dialogue
In this paper we present a taxonomy of dialogue moves which describe the actions that students and tutors perform in tutorial dialogue. We are motivated by the need for a categori...
Mark Buckley, Magdalena Wolska