933 search results - page 56 / 187 » Fully automatic cross-associations |
139
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
144
click to vote
DAGM
2005
Springer
15 years 12 months ago
2005
Springer
A fully automatic method to extract field boundaries from imagery is described in this paper. The fields are represented together with additional prior knowledge in the form of GIS...
145
click to vote
ICIC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. An orthogonal forward selection (OFS) algorithm based on the leaveone-out (LOO) criterion is proposed for the construction of radial basis function (RBF) networks with tu...
169
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...
184
click to vote
INTELLCOMM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The increasing volume of digital communication is raising new challenges in the management of the information flow. We discuss the usage of context to infer presence info...