Sciweavers

877 search results - page 98 / 176
» How to Cover a Grammar
Sort
View
ICRA
1999
IEEE
93views Robotics» more  ICRA 1999»
15 years 5 months ago
Contact Analysis of Spatial Fixed-Axes Pairs Using Configuration Spaces
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...
Iddo Drori, Leo Joskowicz, Elisha Sacks
97
Voted
JAVA
1999
Springer
15 years 5 months ago
Dynamic Denotational Semantics of Java
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
Jim Alves-Foss, Fong Shing Lam
74
Voted
RANDOM
1998
Springer
15 years 5 months ago
A Derandomization Using Min-Wise Independent Permutations
abstract for submission to Random '98 not for distribution Andrei Z. Broder Moses Charikar Michael Mitzenmacher Min-wise independence is a recently introduced notion of limit...
Andrei Z. Broder, Moses Charikar, Michael Mitzenma...
138
Voted
PODC
2010
ACM
15 years 4 months ago
Brief announcement: tree decomposition for faster concurrent data structures
We show how to partition data structures representable by directed acyclic graphs, i.e. rooted trees, to allow for efficient complex operations, which lie beyond inserts, deletes ...
Johannes Schneider, Roger Wattenhofer
106
Voted
EXPCS
2007
15 years 4 months ago
Performance testing of combinatorial solvers with isomorph class instances
Combinatorial optimization problems expressed as Boolean constraint satisfaction problems (BCSPs) arise in several contexts, ranging from the classical unate set-packing problems ...
Franc Brglez, Jason A. Osborne