Sciweavers

9572 search results - page 335 / 1915
» Cover Algorithms and Their Combination
Sort
View
SAC
1997
ACM
15 years 11 months ago
Crozzle: an NP-complete problem
At the 1996 Symposium on Applied Computing, it was argued that the R-by-C Crozzle problem was NP-Hard, but not in NP. The original Crozzle problem is a word puzzle that appears, w...
David Binkley, Bradley M. Kuhn
WADS
1997
Springer
108views Algorithms» more  WADS 1997»
15 years 11 months ago
Dynamic Data Structures for Fat Objects and Their Applications
We present several efficient dynamic data structures for point-enclosure queries, involving convex fat objects in R2 or R3. Our planar structures are actually fitted for a more ...
Alon Efrat, Matthew J. Katz, Frank Nielsen, Micha ...
HAPTICS
2010
IEEE
15 years 10 months ago
Extended Rate-Hardness: A Measure for Perceived Hardness
This paper presents a measure for assessing the perceived hardness of a haptic surface based on associated physical variables. This metric, named extended rate-hardness (ERH), is e...
Gabjong Han, Seungmoon Choi
ANTS
2010
Springer
252views Algorithms» more  ANTS 2010»
15 years 10 months ago
On a Problem of Hajdu and Tengely
Abstract. We answer a question asked by Hajdu and Tengely: The only arithmetic progression in coprime integers of the form (a2 , b2 , c2 , d5 ) is (1, 1, 1, 1). For the proof, we ...
Samir Siksek, Michael Stoll
ESOP
2009
Springer
15 years 10 months ago
Verified, Executable Parsing
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
Aditi Barthwal, Michael Norrish