Sciweavers

7139 search results - page 1100 / 1428
» Language Engineering in Practice
Sort
View
192
Voted
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
CP
2006
Springer
15 years 10 months ago
High-Level Nondeterministic Abstractions in
el Nondeterministic Abstractions in C++ Laurent Michel1 , Andrew See1 , and Pascal Van Hentenryck2 1 University of Connecticut, Storrs, CT 06269-2155 2 Brown University, Box 1910, ...
Laurent Michel, Andrew See, Pascal Van Hentenryck
ECAI
2006
Springer
15 years 10 months ago
Efficient Knowledge Acquisition for Extracting Temporal Relations
Abstract. Machine learning approaches in natural language processing often require a large annotated corpus. We present a complementary approach that utilizes expert knowledge to o...
Son Bao Pham, Achim G. Hoffmann
ESCIENCE
2006
IEEE
15 years 10 months ago
Jylab: A System for Portable Scientific Computing over Distributed Platforms
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
Giorgios Kollias, Efstratios Gallopoulos
ICMI
2000
Springer
104views Biometrics» more  ICMI 2000»
15 years 10 months ago
Jacob - An Animated Instruction Agent in Virtual Reality
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
Marc Evers, Anton Nijholt
« Prev « First page 1100 / 1428 Last » Next »