4052 search results - page 407 / 811 » integration 2007 |
167
click to vote
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
175
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
180
click to vote
EWSN
2007
Springer
16 years 6 months ago
2007
Springer
Many applications in wireless sensor networks rely on data from neighboring nodes. However, the effort for developing efficient solutions for sharing data in the neighborhood is of...
181
click to vote
3DIM
2007
IEEE
16 years 1 months ago
2007
IEEE
In modern computer graphics, 3D scanning is common practise for the acquisition of the geometry of objects. However, in addition to geometric models, physical models of interactio...
165
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
This study aims to construct a 2D barcode and handheld augmented reality supported learning system called HELLO (Handheld English Language Learning Organization), to improve stude...