645 search results - page 58 / 129 » Pure patterns type systems |
CLEF
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the architecture of a Bulgarian–Bulgarian question answering system — BulQA. The system relies on a partially parsed corpus for answer extraction. The que...
226
click to vote
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
112
click to vote
UPP
2004
Springer
15 years 5 months ago
2004
Springer
Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material...
102
click to vote
WSC
2007
15 years 2 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
133
click to vote
AHS
2006
IEEE
15 years 3 months ago
2006
IEEE
We propose a novel type of dynamically reconfigurable System-on-Chip architecture, the Gannet service-based architecture. This novel concept addresses the issue of systemlevel rec...