Sciweavers

205 search results - page 14 / 41
» Elections Can be Manipulated Often
Sort
View
ICDT
2001
ACM
114views Database» more  ICDT 2001»
14 years 1 months ago
Subsumption for XML types
XML data is often used (validated, stored, queried, etc) with respect to di erent types. Understanding the relationship between these types can provide important information for ma...
Gabriel M. Kuper, Jérôme Siméo...
ICRA
1999
IEEE
117views Robotics» more  ICRA 1999»
14 years 1 months ago
A General Contact Model for Dynamically-Decoupled Force/Motion Control
: This paper presents a general rst-order kinematic model of frictionless rigid-body contact for use in hybrid force motion control. It is formulated in an invariant manner by trea...
Roy Featherstone, Stef Sonck Thiebaut, Oussama Kha...
FMSD
2006
104views more  FMSD 2006»
13 years 9 months ago
Some ways to reduce the space dimension in polyhedra computations
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
Nicolas Halbwachs, David Merchat, Laure Gonnord
AIM
2004
13 years 9 months ago
Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
Christopher Bailey-Kellogg, Feng Zhao
PADL
2007
Springer
14 years 3 months ago
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
Per Gustafsson, Konstantinos F. Sagonas