1999 search results - page 329 / 400 » Dependently Typed Grammars |
169
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Traditional models of information retrieval assume documents are independently relevant. But when the goal is retrieving diverse or novel information about a topic, retrieval mode...
204
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...
207
click to vote
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
158
click to vote
ICVS
2009
Springer
15 years 3 months ago
2009
Springer
This paper introduces a new way to apply boosting to a joint feature pool from different sensors, namely 3D range data and color vision. The combination of sensors strengthens the ...
160
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In terabit-density magnetic recording, several bits of data can be replaced by the values of their neighbors in the storage medium. As a result, errors in the medium are dependent ...