5122 search results - page 356 / 1025 » Comparing Consequence Relations |
178
Voted
ITCC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a service-based grid computing model which emphasizes that a grid is a special computing system. By comparing this model with the traditional computing system ...
163
click to vote
ASPDAC
2005
ACM
16 years 9 days ago
2005
ACM
Abstract— Learning is an essential pruning technique in modern SAT solvers, but it exploits a relatively small amount of information that can be deduced from the conflicts. Rece...
158
Voted
ACII
2005
Springer
16 years 9 days ago
2005
Springer
This paper describes a vision-based computational model of mind-reading that infers complex mental states from head and facial expressions in real-time. The generalization ability ...
169
click to vote
MFCS
2005
Springer
16 years 7 days ago
2005
Springer
We compare the expressive power of two automata-based finite-state models of concurrency. We show that Droste’s and Kuske’s coherent stably concurrent automata and Bednarczyk...
158
Voted
PAM
2005
Springer
16 years 7 days ago
2005
Springer
We propose a practical technique for the identification of lossy network links from end-to-end measurements. Our scheme is based on a function that computes the likelihood of each...