Sciweavers

Share
FOMI
2011
5 months 8 days ago
Technical Artifact: An Integrated Perspective
Abstract. In this paper three perspectives are presented on defining the general notion of technical artifacts in formal ontologies. These perspectives share two intuitions: that ...
Stefano Borgo, Maarten Franssen, Pawel Garbacz, Yo...
ANOR
2011
28views more  ANOR 2011»
9 months 7 days ago
Impact of measurement error on container inspection policies at port-of-entry
Yada Zhu, Mingyu Li, Christina M. Young, Minge Xie...
ANOR
2011
42views more  ANOR 2011»
9 months 7 days ago
Predetermined intervals for start times of activities in the stochastic project scheduling problem
This paper proposes a new methodology to schedule activities in projects with stochastic activity durations. The main idea is to determine for each activity an interval in which th...
Illana Bendavid, Boaz Golany
ANOR
2011
25views more  ANOR 2011»
9 months 7 days ago
A simple and effective algorithm for the MaxMin diversity problem
The challenge of maximizing the diversity of a collection of points arises in a variety of settings, including the setting of search methods for hard optimization problems. One ver...
Daniel Cosmin Porumbel, Jin-Kao Hao, Fred Glover
AMW
2011
9 months 7 days ago
SNQL: A Social Networks Query and Transformation Language
Abstract. Social Network (SN) data has become ubiquitous, demanding advanced and flexible means to represent, transform and query such data. In addition to the intrinsic challenge...
Mauro San Martín, Claudio Gutierrez, Peter ...
AMW
2011
9 months 7 days ago
Private Database Synthesis for Outsourced System Evaluation
The goal of this paper is to permit secure outsourced system evaluation. We propose a method for generating synthetic databases and obfuscating a workload of queries in order to pr...
Vani Gupta, Gerome Miklau, Neoklis Polyzotis
AMW
2011
9 months 7 days ago
Subqueries in SPARQL
Subqueries are a poweful feature which allows to enforce reuse, composition, rewriting and optimization in a query language. In this paper we perform a comprehensive study of the i...
Renzo Angles, Claudio Gutierrez
AMW
2011
9 months 7 days ago
A Direct Translation from XPath to Nondeterministic Automata
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
Nadime Francis, Claire David, Leonid Libkin
AMW
2011
9 months 7 days ago
Bag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
Mingmin Chen, Todd J. Green
APAL
2010
40views more  APAL 2010»
1 years 23 hour ago
Fundamental results for pointfree convex geometry
Yoshihiro Maruyama
books