6719 search results - page 1082 / 1344 » A Generalization of Automatic Sequences |
198
click to vote
GIR
2007
ACM
15 years 11 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
182
click to vote
GIR
2007
ACM
15 years 11 months ago
2007
ACM
Extracting geographical information from various web sources is likely to be important for a variety of applications. One such use for this information is to enable the study of v...
177
click to vote
GROUP
2007
ACM
15 years 11 months ago
2007
ACM
Based on qualitative analysis of three groups collaborating on a research task in a distributed setting, we identify four breakdowns in creativity: (1) Minority ideas were under-c...
188
click to vote
HRI
2007
ACM
15 years 11 months ago
2007
ACM
We are developing robots with socially appropriate spatial skills not only to travel around or near people, but also to accompany people side-by-side. As a step toward this goal, ...
337
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...