4814 search results - page 388 / 963 » Combining abstract interpreters |
150
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Highly heterogeneous robotic systems are becoming increasingly common, as are robotic systems integrated with smart environments. In such distributed systems, there are...
187
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— This work considers a combination classificationregression based framework with the proposal of using learned kernels in modified support vector regression to provide...
183
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
158
click to vote
DAARC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we present a systematic evaluation of a hybrid approach of combined rule-based filtering and machine learning to Dutch coreference resolution. Through the...
150
click to vote
LPAR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...