3001 search results - page 98 / 601 » Recursive type generativity |
101
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
108
Voted
WETICE
1999
IEEE
15 years 6 months ago
1999
IEEE
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...
133
click to vote
HAIS
2009
Springer
15 years 7 months ago
2009
Springer
In engineering design the use of approximation models (= surrogate models) has become standard practice for design space exploration, sensitivity analysis, visualization and optimi...
140
Voted
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Open domain question answering (QA) systems have to bridge the potential vocabulary mismatch between a question and its candidate answers. One can view this as a recall problem and...