Sciweavers

3775 search results - page 327 / 755
» The Expression Problem Revisited
Sort
View
SAINT
2003
IEEE
16 years 1 days ago
Context Attributes: An Approach to Enable Context-awareness for Service Discovery
Service discovery problem has recently been drawing much attention from researchers and practitioners. Jini, SLP, and UPnP are among the few emerging service discovery protocols. ...
Choonhwa Lee, Abdelsalam Helal
ICLP
2003
Springer
15 years 12 months ago
Order and Negation as Failure
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
Davy Van Nieuwenborgh, Dirk Vermeir
STACS
2010
Springer
15 years 12 months ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco
HICSS
2002
IEEE
93views Biometrics» more  HICSS 2002»
15 years 11 months ago
Too Much to Carry? Copyright Laws in the Electronic Environment
Digitization of information, the rise of the World Wide Web, and the development of new means for information creation, production and dissemination place new strains on the legal...
Terrence A. Maxwell
AISC
2010
Springer
15 years 11 months ago
Symbolic Domain Decomposition
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
Jacques Carette, Alan P. Sexton, Volker Sorge, Ste...