6881 search results - page 1113 / 1377 » Motivation |
181
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
190
click to vote
ICS
2005
Tsinghua U.
16 years 5 days ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
222
click to vote
IFIP
2005
Springer
16 years 5 days ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
192
click to vote
IFL
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
186
Voted
IPMI
2005
Springer
16 years 5 days ago
2005
Springer
This work analyses the accuracy of estimating the location of 3D landmarks and characteristic image structures. Based on nonlinear estimation theory we study the minimal stochastic...