4842 search results - page 347 / 969 » A Calculus for Data Mapping |
179
click to vote
AAAI
2012
13 years 9 months ago
2012
In this paper, we propose a semi-supervised kernel matching method to address domain adaptation problems where the source distribution substantially differs from the target distri...
197
click to vote
ICWE
2004
Springer
16 years 2 days ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...
197
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
166
click to vote
CONCUR
2004
Springer
16 years 2 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
180
click to vote
COORDINATION
2004
Springer
16 years 2 days ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...