13734 search results - page 214 / 2747 » Abstractions of data types |
121
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
158
click to vote
DALT
2008
Springer
15 years 6 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
126
click to vote
SIBGRAPI
2008
IEEE
15 years 11 months ago
2008
IEEE
This work introduces a Hidden Markov Model (HMM) based technique to classify agricultural crops. The method recognizes different crops by analyzing their spectral profiles over a ...
148
Voted
PCM
2007
Springer
15 years 10 months ago
2007
Springer
Streaming media has contributed to a significant amount of today’s Internet Traffic. One solution of to solve this problems is using streaming proxy. There are two categories in ...
139
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...