4835 search results - page 687 / 967 » Intelligent Selection Tools |
146
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
Neither the C nor the C++ languages support reflection and their meta-programming capabilities are very limited. Both of these problems can be addressed by adding a preprocessing...
169
click to vote
ISMVL
2008
IEEE
16 years 1 months ago
2008
IEEE
Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, re...
199
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
171
click to vote
DIGITEL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a collaborative game-based creativity support system, Idea Storming Cube, in support of creative thinking. It aims to make people form a creative and perspect...
216
click to vote
SEUS
2007
IEEE
16 years 28 days ago
2007
IEEE
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...