77 search results - page 7 / 16 » Fragmental Specialization |
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
ECML
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We investigate the application of classification techniques to the problem of information extraction (IE). In particular we use support vector machines and several differ...
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
CCE
2007
13 years 11 months ago
2007
: In this paper we take a CSCW perspective on knowledge management, looking at it at the level of daily work practice in two different contexts – project management and engineeri...
PDPTA
2007
13 years 11 months ago
2007
AgentTeamwork coordinates parallel job execution in a hierarchy of mobile agents. A collection of specialized agents are deployed to remote sites including multiple clusters so as...