3804 search results - page 415 / 761 » From Here to There |
203
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
216
click to vote
PRDC
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper presents the performance analysis of several well-known partitioning scheduling algorithms in real-time and fault-tolerant multiprocessor systems. Both static and dynam...
184
click to vote
ADC
2006
Springer
16 years 25 days ago
2006
Springer
Many strategies for similarity search in image databases assume a metric and quadratic form-based similarity model where an optimal lower bounding distance function exists for fil...
176
Voted
ACMICEC
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we have introduced a methodology to rank the available products in the Internet market. These rankings are based on the customers’ own preferences and also on the ...
167
click to vote
CASES
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...