3690 search results - page 471 / 738 » Computation with classical sequents |
179
click to vote
DAC
2004
ACM
16 years 3 days ago
2004
ACM
Silicon compilers are often used in conjunction with Field Programmable Gate Arrays (FPGAs) to deliver flexibility, fast prototyping, and accelerated time-to-market. Many of these...
174
Voted
MIR
2004
ACM
16 years 3 days ago
2004
ACM
Searching moving object trajectories of video databases has been applied to many fields, such as video data analysis, content-based video retrieval, video scene classification. ...
172
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
This work presents decision trees adequate for the classification of series data. There are several methods for this task, but most of them focus on accuracy. One of the requirem...
144
click to vote
SIGECOM
2004
ACM
16 years 3 days ago
2004
ACM
We consider the problem of a spatially distributed market with strategic agents. A single good is traded in a set of independent markets, where shipment between markets is possibl...
176
click to vote
COLT
2004
Springer
16 years 2 days ago
2004
Springer
: We introduce a graph-theoretic generalization of classical Arrow-Debreu economics, in which an undirected graph specifies which consumers or economies are permitted to engage in...