272 search results - page 37 / 55 » New directions in the introductory computer science curricul... |
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
SI3D
1995
ACM
13 years 11 months ago
1995
ACM
The NanoManipulator system has been expanded from a virtualreality interface for a specific scanning tunneling microscope to include control of atomic force microscopes. The curre...
CAD
2005
Springer
13 years 7 months ago
2005
Springer
We introduce a new approach to the problem of collision detection in multi-axis NC-machining. Due to the directional nature (tool axis) of multi-axis NCmachining, space subdivisio...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Programmers rely on programming idioms, design patterns, and workaround techniques to make up for missing programming language support. Evolving languages often address frequently ...
ACMSE
2007
ACM
13 years 12 months ago
2007
ACM
Blogs are a new form of internet phenomenon and a vast everincreasing information resource. Mining blog files for information is a very new research direction in data mining. We p...