Sciweavers

4224 search results - page 368 / 845
» Reasoning about Choice
Sort
View
ACL
2009
15 years 5 months ago
The Impact of Query Refinement in the Web People Search Task
Searching for a person name in a Web Search Engine usually leads to a number of web pages that refer to several people sharing the same name. In this paper we study whether it is ...
Javier Artiles, Julio Gonzalo, Enrique Amigó...
184
Voted
IJIS
2010
110views more  IJIS 2010»
15 years 4 months ago
The ramification problem in temporal databases: Concurrent execution
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
Nikos Papadakis, Dimitris Plexousakis, Grigoris An...
CORR
2011
Springer
170views Education» more  CORR 2011»
15 years 2 months ago
A Model for Coherent Distributed Memory For Race Condition Detection
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
Franck Butelle, Camille Coti
AAAI
2011
14 years 7 months ago
Termination and Correctness Analysis of Cyclic Control
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
ASUNAM
2011
IEEE
14 years 7 months ago
The ML-Model for Multi-layer Social Networks
Abstract—In this paper we introduce a new model to represent an interconnected network of networks. This model is fundamental to reason about the real organization of on-line soc...
Matteo Magnani, Luca Rossi