2956 search results - page 214 / 592 » Databases and Higher Types |
135
Voted
BIRTHDAY
2000
Springer
15 years 7 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
111
Voted
EKAW
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper presents one approach to acquire knowledge from multiple experts. The experts are grouped into multilevel hierarchical structure, according to the type of know...
118
click to vote
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper describes a multi-loop, modular navigation architecture for mobile robots whose structure allows the execution of most types of navigation tasks in a highly robust mann...
129
Voted
SIGMETRICS
1998
ACM
15 years 7 months ago
1998
ACM
This paper reports on a set of experiments that measure the amount of CPU processing needed to decode MPEGcompressed video in software. These experiments were designed to discover...
140
click to vote
PEPM
1994
ACM
15 years 7 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...