1011 search results - page 144 / 203 » The three dimensions of proofs |
164
click to vote
COMPGEOM
1999
ACM
15 years 10 months ago
1999
ACM
Several motion planning methods using networks of randomly generated nodes in the free space have been shown to perform well in a number of cases, however their performance degrad...
192
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...
178
click to vote
COMPGEOM
1997
ACM
15 years 10 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
136
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Prepaid customers in mobile telecommunications are not bound by a contract and can therefore change operators (‘churn’) at their convenience and without notification. This make...
141
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Based on qualitative analysis of three groups collaborating on a research task in a distributed setting, we identify four breakdowns in creativity: (1) Minority ideas were under-c...