8337 search results - page 414 / 1668 » Reasoning With Characteristic Models |
218
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
180
Voted
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
Large efforts have been made for general applications of content-based image retrieval (CBIR). Established CBIRsystems globally evaluate color, texture, and also shape for retriev...
196
Voted
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Scene text images feature an abundance of font style variety but a dearth of data in any given query. Recognition methods must be robust to this variety or adapt to the query data...
176
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
With the multiplication of communication medium, the increasing multi-partner global organizations, the remote working tendencies, dynamic teams, pervasive or ubiquitous computing ...
129
Voted
SGAI
2009
Springer
16 years 1 months ago
2009
Springer
The decision which hardware platform to use for a certain application is an important problem in computer architecture. This paper reports on a study where a data-mining approach i...