1193 search results - page 103 / 239 » A primer of simple theories |
159
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. Automata-based decision procedures commonly achieve optimal complexity bounds. However, in practice, they are often outperformed by sub-optimal (but more local-search bas...
160
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
A method is proposed for the compression of hyperspectral signature vectors on severely resourceconstrained encoding platforms. The proposed technique, compressive-projection prin...
149
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
152
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
181
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We report on a 9-axis inertial measurement unit (IMU) which utilizes 3-axis angular velocity measurements from rate gyros and 6-axis linear acceleration measurements from three...