Sciweavers

3707 search results - page 165 / 742
» A Simple Technique for Self-Calibration
Sort
View
DCG
2010
84views more  DCG 2010»
15 years 6 months ago
On Lines and Joints
Let L be a set of n lines in Rd , for d 3. A joint of L is a point incident to at least d lines of L, not all in a common hyperplane. Using a very simple algebraic proof techniqu...
Haim Kaplan, Micha Sharir, Eugenii Shustin
ENTCS
2008
116views more  ENTCS 2008»
15 years 6 months ago
Phil: A Lazy Implementation of a Language for Approximate Filtering of XML Documents
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
Michele Baggi, Demis Ballis
CAL
2006
15 years 6 months ago
From sequential programs to concurrent threads
Chip multiprocessors are of increasing importance due to recent difficulties in achieving higher clock frequencies in uniprocessors, but their success depends on finding useful wor...
Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew...
COR
2006
83views more  COR 2006»
15 years 6 months ago
Modelling and solving English Peg Solitaire
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
Christopher Jefferson, Angela Miguel, Ian Miguel, ...
JAPLL
2008
76views more  JAPLL 2008»
15 years 6 months ago
The many faces of counts-as: A formal analysis of constitutive rules
Abstract. The paper proposes a logical systematization of the notion of countsas which is grounded on a very simple intuition about what counts-as statements actually mean, i.e., f...
Davide Grossi, John-Jules Ch. Meyer, Frank Dignum