2018 search results - page 237 / 404 » Code Normal Forms |
105
click to vote
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this work, we utilize a recently studied more accurate range noise model for 3D sensors to derive from scratch the expressions for the optimum plane which best fits a point-...
124
click to vote
CIARP
2009
Springer
15 years 8 months ago
2009
Springer
Many tasks can be described by sequences of actions that normally exhibit some form of structure and that can be represented by a grammar. This paper introduces FOSeq, an algorithm...
136
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
State-of-the-art solvers for Quantified Boolean Formulas (QBF) have employed many techniques from the field of Boolean Satisfiability (SAT) including the use of Conjunctive Norm...
146
click to vote
DOLAP
2009
ACM
15 years 8 months ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...
113
click to vote
HASKELL
2009
ACM
15 years 8 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...