7890 search results - page 1396 / 1578 » The MathSAT 3 System |
137
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
124
Voted
JCDL
2006
ACM
15 years 11 months ago
2006
ACM
The NDIIPP ECHO DEPository project [1] digital repository evaluation will use an augmented version of the draft Audit Checklist for Certification of Trusted Digital Repositories (...
138
Voted
ML
2006
ACM
15 years 11 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
135
Voted
MM
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents novel techniques for using panoramas as spatial context to enhance browsing of personal media archives. This context, scenes where frequent media capture takes...
128
click to vote
MM
2006
ACM
15 years 11 months ago
2006
ACM
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...