682 search results - page 39 / 137 » Philosophical Issues in Computer Science |
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
We study the boundedness problem for monadic least fixed points as a decision problem. While this problem is known to be undecidable in general and even for syntactically very res...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
While spam is considered a crucial problem for both companies and ordinary computer users, little is known about how spam actually affects companies and which anti-spam techniques...
ITICSE
1999
ACM
14 years 1 months ago
1999
ACM
Computer animation is an excellent medium for capturing the dynamic nature of data structure manipulations, and can be used to advantage in the teaching of algorithms and data str...
SIGCSE
2009
ACM
14 years 3 months ago
2009
ACM
Computer Science (CS) education researchers hope their research has real impact on teaching practices. Developers of innovative curricula and tools for CS education want teachers ...
GI
2009
Springer
14 years 1 months ago
2009
Springer
: Out-of-Home (OOH) advertising is currently advancing into a new era: “pervasive advertising” is one of the buzz words describing a soft change from the traditional push-only ...