19798 search results - page 3587 / 3960 » Is Structural Subtyping Useful |
192
click to vote
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
Modern embedded devices (e.g., PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems include multi...
180
click to vote
C5
2004
IEEE
15 years 10 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
184
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Code optimization and high level synthesis can be posed as constraint satisfaction and optimization problems, such as graph coloring used in register allocation. Graph coloring is...
170
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...
160
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...