Sciweavers

2740 search results - page 52 / 548
» Typing the Specialization Interface
Sort
View
ICSE
2005
IEEE-ACM
14 years 10 months ago
Safe query objects: statically typed objects as remotely executable queries
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
William R. Cook, Siddhartha Rai
MJ
2008
71views more  MJ 2008»
13 years 10 months ago
A new type of structural defects in CdZnSe/ZnSe heterostructures
The changes of structural and photoluminescence (PL) characteristics of MBE-grown CdZnSe/ZnSe single quantum well (QW) structures caused by Cd/Zn interdiffusion were studied by hi...
L. V. Borkovska, N. Korsunska, V. Kladko, M. Slobo...
ECRTS
2002
IEEE
14 years 2 months ago
POSIX-Compatible Application-Defined Scheduling in MaRTE OS
Abstract: This paper presents an application program interface (API) that enables applications to use applicationdefined scheduling algorithms in a way compatible with the scheduli...
Mario Aldea Rivas, Michael González Harbour
HF
2007
131views more  HF 2007»
13 years 10 months ago
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
Michael Heymann, Asaf Degani
ISMIR
2004
Springer
130views Music» more  ISMIR 2004»
14 years 3 months ago
Speech-Recognition Interfaces for Music Information Retrieval: 'Speech Completion' and 'Speech Spotter'
This paper describes music information retrieval (MIR) systems featuring automatic speech recognition. Although various interfaces for MIR have been proposed, speech-recognition i...
Masataka Goto, Katunobu Itou, Koji Kitayama, Tetsu...