148 search results - page 26 / 30 » ml 2006 |
164
click to vote
LISP
2006
14 years 9 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
LISP
2002
14 years 9 months ago
2002
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
JUCS
2010
14 years 8 months ago
2010
: The promise of smart buildings (SBs) is a safer more productive environment for users and a more operationally efficient building for owners. The automation of building function ...
ISBI
2006
IEEE
15 years 3 months ago
2006
IEEE
This contribution describes a novel non-contact fluorescence optical tomography scheme which utilizes multiple area illumination patterns, to reduce the illposedness of the inver...
ICML
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years, there has been a proliferation of theoretical graph models, e.g., preferential attachment and small-world models, motivated by real-world graphs such as the Inter...