6978 search results - page 1063 / 1396 » On Proofs in System P |
186
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
It is our contention that information technology is a cultural commodity whose influence is spread through economic and political action of institutions such as the government and...
188
click to vote
ISMIR
2001
Springer
15 years 11 months ago
2001
Springer
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...
151
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents the hardware and software design principles of the medium size RoboCup Team CoPS which are developed by the image understanding group at the Institute...
191
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
168
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...