4421 search results - page 309 / 885 » Libraries |
141
click to vote
AAAI
2011
14 years 4 months ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
137
click to vote
PEPM
2012
ACM
13 years 11 months ago
2012
ACM
This paper describes Scala-Virtualized, which extends the Scala language and compiler with a small number of features that enable combining the benefits of shallow and deep embed...
182
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
154
click to vote
CADE
2012
Springer
13 years 6 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
212
click to vote
Source Code
An amazing, accurate, and fast complete camera calibration toolbox in Matlab. The toolbox calibrates the stereo camera using one chess board that is oriented at different angles. T...