Sciweavers

5634 search results - page 387 / 1127
» About Abstract Classes
Sort
View
MHCI
2004
Springer
16 years 1 days ago
Butler: A Universal Speech Interface for Mobile Environments
Abstract. Speech interfaces are about to be integrated in consumer appliances and embedded systems and are expected to be used by mobile users in ubiquitous computing environments....
Botond Pakucs
SDMW
2004
Springer
16 years 1 days ago
A Structure Preserving Database Encryption Scheme
Abstract. A new simple and efficient database encryption scheme is presented. The new scheme enables encrypting the entire content of the database without changing its structure. I...
Yuval Elovici, Ronen Waisenberg, Erez Shmueli, Ehu...
153
Voted
TAL
2004
Springer
16 years 1 days ago
Expressive Power and Consistency Properties of State-of-the-Art Natural Language Parsers
Abstract. We define Probabilistic Constrained W-grammars (PCWgrammars), a two-level formalism capable of capturing grammatical frameworks used in two state of the art parsers, nam...
Gabriel G. Infante López, Maarten de Rijke
BIRTHDAY
2003
Springer
15 years 12 months ago
A Logic of Object-Oriented Programs
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
Martín Abadi, K. Rustan M. Leino
CAISE
2003
Springer
15 years 12 months ago
Infrastructure Support for Contextual Applications - An Experience Report
Abstract. In this article we report our experience on building a contextual application with two different middlewares: the Context Toolkit from Georgia Tech and the Coordination L...
Damián Arregui, Sophie Dupuy-Chessa, Martin...