2036 search results - page 263 / 408 » A generic type-and-effect system |
106
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
ACMICEC
2004
ACM
15 years 6 months ago
2004
ACM
Public administrations all over the world promote ambitious and costly e-government programmes. The required domain analysis is usually conducted on a local and ad hoc basis, due ...
111
Voted
ICMI
2004
Springer
15 years 6 months ago
2004
Springer
We present a generic approach to multimodal fusion which we call context based multimodal integration. Key to this approach is that every multimodal input event is interpreted and...
102
Voted
CMMR
2003
Springer
15 years 6 months ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
85
Voted
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...