Sciweavers

1532 search results - page 18 / 307
» Connection Relations in Mereotopology
Sort
View
CEC
2009
IEEE
14 years 2 months ago
Plateau Connection Structure and multiobjective metaheuristic performance
—This paper proposes the plateau structure imposed by the Pareto dominance relation as a useful determinant of multiobjective metaheuristic performance. In essence, the dominance...
Deon Garrett
SJIS
2002
79views more  SJIS 2002»
13 years 7 months ago
Located Accountabilities in Technology Production
This paper explores the relevance of recent feminist reconstructions of objectivity for the development of alternative practices of technology production and use. I take as my sta...
Lucy A. Suchman
FOSSACS
2007
Springer
14 years 1 months ago
Relational Parametricity and Separation Logic
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
Lars Birkedal, Hongseok Yang
ALGOSENSORS
2004
Springer
14 years 24 days ago
On a Conjecture Related to Geometric Routing
We conjecture that any planar 3-connected graph can be embedded in the plane in such a way that for any nodes s and t, there is a path from s to t such that the Euclidean distance ...
Christos H. Papadimitriou, David Ratajczak
ACL
1998
13 years 8 months ago
Tense and Connective Constraints on the Expression of Causality
Starting from descriptions of French connectives (in particular "donc"---therefore), on the one hand, and aspectual properties of French tenses pass4 simple and imparfai...
Pascal Amsili, Corinne Rossari