Sciweavers

467 search results - page 61 / 94
» An integration framework for heterogeneous automatic softwar...
Sort
View
WETICE
2005
IEEE
14 years 1 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
TOCHI
1998
112views more  TOCHI 1998»
13 years 7 months ago
The Integrality of Speech in Multimodal Interfaces
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
Michael A. Grasso, David S. Ebert, Timothy W. Fini...
HCI
2007
13 years 9 months ago
Challenges and Solutions of Multilingual and Translingual Information Service Systems
In this paper, we present a survey of challenges and solutions of multilingual and translingual information service systems. In contrast to the computational linguistics literature...
Hans Uszkoreit, Feiyu Xu, Weiquan Liu
ACL
2000
13 years 9 months ago
A Unified Statistical Model for the Identification of English BaseNP
This paper presents a novel statistical model for automatic identification of English baseNP. It uses two steps: the Nbest Part-Of-Speech (POS) tagging and baseNP identification g...
Endong Xun, Changning Huang, Ming Zhou
CIKM
2005
Springer
14 years 1 months ago
Information retrieval and machine learning for probabilistic schema matching
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
Henrik Nottelmann, Umberto Straccia