1188 search results - page 152 / 238 » Testing Semantics: Connecting Processes and Process Logics |
153
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
142
click to vote
ILP
2004
Springer
15 years 9 months ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
109
click to vote
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
An intermediate solution between conventional printed circuit board technology and wafer level packaging, WLP, is to fabricate interconnection circuits and flip chip assembly stru...
166
click to vote
BIODATAMINING
2008
15 years 4 months ago
2008
Background: Analysis of a microarray experiment often results in a list of hundreds of diseaseassociated genes. In order to suggest common biological processes and functions for t...
133
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...