Sciweavers

3775 search results - page 79 / 755
» The Expression Problem Revisited
Sort
View
AGP
1999
IEEE
15 years 5 months ago
The Relative Complement Problem for Higher-Order Patterns
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
Alberto Momigliano, Frank Pfenning
94
Voted
JUCS
2008
170views more  JUCS 2008»
15 years 24 days ago
Intelligent Resource Exchanges: Solutions and Pathways in a Workforce Allocation Problem
: This paper considers the problem of resource allocation in the service industries approached from an agent-based perspective. Agent technologies seem to be well suited to this do...
Botond Virginas, Marian Florin Ursu, Edward P. K. ...
198
Voted
SIGMOD
2005
ACM
162views Database» more  SIGMOD 2005»
16 years 29 days ago
Clio grows up: from research prototype to industrial tool
Clio, the IBM Research system for expressing declarative schema mappings, has progressed in the past few years from a research prototype into a technology that is behind some of I...
Laura M. Haas, Mauricio A. Hernández, Howar...
MOBIHOC
2006
ACM
16 years 12 days ago
Analysis of random mobility models with PDE's
In this paper we revisit two classes of mobility models which are widely used to represent users' mobility in wireless networks: Random Waypoint (RWP) and Random Direction (R...
Michele Garetto, Emilio Leonardi
108
Voted
ECAI
2004
Springer
15 years 6 months ago
A Syntactical Approach to Revision
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...
Guilherme Bittencourt, Laurent Perrussel, Jerusa M...