4320 search results - page 255 / 864 » Functional Objects |
162
click to vote
SSDBM
2006
IEEE
16 years 18 days ago
2006
IEEE
In many modern applications, there are no exact values available to describe the data objects. Instead, the feature values are considered to be uncertain. This uncertainty is mode...
170
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Several optimizations to the Time Warp synchronization protocol for parallel discrete event simulation have been proposed and studied. Many of these optimizations have included so...
153
Voted
CIE
2005
Springer
16 years 4 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
171
click to vote
NIPS
2008
15 years 8 months ago
2008
Ranking is at the heart of many information retrieval applications. Unlike standard regression or classification in which we predict outputs independently, in ranking we are inter...
141
click to vote
AOSD
2004
ACM
16 years 1 days ago
2004
ACM
It is generally accepted that early determination of the stakeholder requirements assists in the development of systems that better meet the needs of those stakeholders. General s...