2553 search results - page 389 / 511 » Evaluating machine creativity |
158
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
160
click to vote
SECON
2007
IEEE
15 years 10 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
166
click to vote
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
The proliferation of digital libraries and the large amount of existing documents raise important issues in efficient handling of documents. Printed texts in documents need to be...
116
click to vote
TABLETOP
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a method to enable multi-touch interactions on an arbitrary flat surface using a pair of cameras mounted above the surface. Current systems in this domain mostly make ...
153
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...