7404 search results - page 640 / 1481 » New Tools in Education |
194
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Physical design environments are places that support people engaged in the spatial, physical, tangible act of creation. It is now possible to augment workspaces with an amazing ar...
231
click to vote
OTM
2009
Springer
16 years 2 months ago
2009
Springer
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
208
click to vote
DILS
2005
Springer
16 years 1 months ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
202
click to vote
EMSOFT
2004
Springer
16 years 26 days ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
234
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...