220 search results - page 18 / 44 » Copositivity tests based on the linear complementarity probl... |
122
click to vote
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
123
Voted
NIPS
1996
15 years 1 months ago
1996
To obtain classification systems with both good generalizat`ion performance and efficiency in space and time, we propose a learning method based on combinations of weak classifiers...
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
115
Voted
PAMI
2012
13 years 2 months ago
2012
—We describe an approach for segmenting a moving image into regions that correspond to surfaces in the scene that are partially surrounded by the medium. It integrates both appea...
150
Voted
DATAMINE
1999
15 years 3 days ago
1999
Abstract. We describe a scalable parallel implementation of the self organizing map (SOM) suitable for datamining applications involving clustering or segmentation against large da...