2302 search results - page 308 / 461 » Testing as Abstraction |
146
click to vote
NLDB
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
162
click to vote
OTM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Over the last years, research efforts have led the way to embed computation into the environment. Much attention is drawn to technologies supporting dynamicity and mobil...
135
click to vote
PAM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Most tools to recognize the application associated with network connections use well-known signatures as basis for their classification. This approach is very effective ...
151
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
188
click to vote
SCIA
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Moving objects detection is a crucial step for video surveillance systems. The segmentation performed by motion detection algorithms is often noisy, which makes it hard t...