Sciweavers

1584 search results - page 182 / 317
» Interaction models for functional regression
Sort
View
WEBDB
1999
Springer
131views Database» more  WEBDB 1999»
15 years 2 months ago
Adapter Generation for Extracting and Querying Data from Web
Accessing and integrating data from heterogeneous sources has become a significant challenge. So-called adapters provide the functionality for translating SQL queries into querie...
Kai-Uwe Sattler, Michael Höding
FSTTCS
2006
Springer
15 years 1 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
ASM
2010
ASM
15 years 1 months ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
IADIS
2004
14 years 11 months ago
Towards Grid Enabled Information Retrieval
Our research aims to further our understanding of Information Retrieval for management of knowledge within the Grid environment. We do so by developing a search and categorisation...
Babak Akhgar, Nahum Korda, Jawed I. A. Siddiqi, Me...
ISMAR
2007
IEEE
15 years 4 months ago
Human-Centered Development of an AR Handheld Display
In this paper we present the process of designing and developing a fully functional and interactive AR handheld device. Based on a human-centered approach we describe the results ...
Raphael Grasset, Andreas Dünser, Mark Billing...