2989 search results - page 376 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
157
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
168
click to vote
AOSE
2005
Springer
15 years 12 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
149
Voted
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
The exact positioning of patients during radiotherapy is essential for high precision treatment. The registration of portal image sequences can help to control the patient positio...
176
click to vote
AMT
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Consistent description and representation method of user interests are required for personalized Web applications. In this paper, we provide a formal definition and the &...
186
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Measuring the similarity between documents and queries has been extensively studied in information retrieval. However, there are a growing number of tasks that require computing th...