Sciweavers

4099 search results - page 606 / 820
» A Framework for Interactive Proof
Sort
View
ICWS
2004
IEEE
15 years 6 months ago
Triana: A Graphical Web Service Composition and Execution Toolkit
Service composition refers to the aggregation of services to build complex applications to achieve client requirements. It is an important challenge to make it possible for users ...
Shalil Majithia, Matthew S. Shields, Ian J. Taylor...
153
Voted
VISSYM
2004
15 years 6 months ago
Illustrating Surfaces in Volume
This paper presents a novel framework for illustrating surfaces in a volume. Surfaces are illustrated by drawing only feature lines, such as silhouettes, valleys, ridges, and surf...
Xiaoru Yuan, Baoquan Chen
PDSE
1998
126views more  PDSE 1998»
15 years 6 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...
ATAL
2010
Springer
15 years 5 months ago
Success, strategy and skill: an experimental study
In many AI settings an agent is comprised of both actionplanning and action-execution components. We examine the relationship between the precision of the execution component, the...
Christopher Archibald, Alon Altman, Yoav Shoham
ICASSP
2010
IEEE
15 years 4 months ago
Across-phone variability and diagonal term in joint factor analysis for speaker recognition
We investigate usefulness of across-phone variability for speaker recognition in a joint factor analysis (JFA) framework. We estimate the variability as across-phone covariance wi...
Sachin S. Kajarekar