Sciweavers

18429 search results - page 262 / 3686
» Typing dynamic typing
Sort
View
ICDAR
2003
IEEE
15 years 12 months ago
Combination of Type III Digit Recognizers using the Dempster-Shafer Theory of Evidence
The Dempster-Shafer Theory of Evidence is an established method for combining different sources of information. In this paper we explore ways to improve the combination performanc...
Catalin I. Tomai, Sargur N. Srihari
INFOCOM
2003
IEEE
15 years 12 months ago
Computing the Types of the Relationships between Autonomous Systems
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
Giuseppe Di Battista, Maurizio Patrignani, Maurizi...
SIGIR
2003
ACM
15 years 12 months ago
Decision-Theoretic Resource Selection for Different Data Types in MIND
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...
Henrik Nottelmann, Norbert Fuhr
COMPSAC
2002
IEEE
15 years 11 months ago
A Typed Generic Process Model for Product Focused Process Improvement
The motivation behind the idea of product focused process improvement is to make a process improvement program address certain product quality features in an explicit manner. The P...
Manoranjan Satpathy, Rachel Harrison
CSFW
2000
IEEE
15 years 11 months ago
Secure Composition of Untrusted Code: Wrappers and Causality Types
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
Peter Sewell, Jan Vitek