557 search results - page 88 / 112 » The L4.verified Project - Next Steps |
139
click to vote
QOSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
141
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We describe and analyze a simple and effective iterative algorithm for solving the optimization problem cast by Support Vector Machines (SVM). Our method alternates between stocha...
133
click to vote
KDD
2009
ACM
16 years 4 months ago
2009
ACM
: ? Towards Combining Web Classification and Web Information Extraction: a Case Study Ping Luo, Fen Lin, Yuhong Xiong, Yong Zhao, Zhongzhi Shi HP Laboratories HPL-2009-86 Classific...
139
click to vote
FSKD
2007
Springer
15 years 10 months ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
281
Voted
ICDE
2006
IEEE
16 years 5 months ago
2006
IEEE
Given an object q, modeled by a multidimensional point, a reverse nearest neighbors (RNN) query returns the set of objects in the database that have q as their nearest neighbor. I...