4814 search results - page 425 / 963 » Combining abstract interpreters |
170
click to vote
MCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Multiclass SVMs are usually implemented by combining several two-class SVMs. The one-versus-all method using winner-takes-all strategy and the one-versus-one method imple...
189
click to vote
MIRRORBOT
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Improving the game play in RoboCup middle size league requires a fast and robust visual robot detection system. The presented multilevel approach documents, that the comb...
172
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. With the advent of Model Driven Architecture, OCL constraints are no longer necessarily written by humans. They can be part of models that emerge from a chain of transfor...
192
click to vote
VSTTE
2005
Springer
16 years 10 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
166
click to vote
CIS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper, we propose a naive statistics method for constructing a personalized recommendation system for the Electronic Program Guide (EPG). The idea is based on a p...