2488 search results - page 476 / 498 » An improvement in formal verification |
120
click to vote
CRV
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
118
click to vote
ICAC
2009
IEEE
15 years 8 months ago
2009
IEEE
: © vManage: Loosely Coupled Platform and Virtualization Management in Data Centers Sanjay Kumar, Vanish Talwar, Vibhore Kumar, Parthasarathy Ranganathan, Karsten Schwan HP Labora...
107
click to vote
ALGOSENSORS
2009
Springer
15 years 8 months ago
2009
Springer
Sensor networks, with their ad hoc deployments, node mobility, and wireless communication, pose serious challenges for developing provably correct and efficient applications. A po...
105
click to vote
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
Ontology-Based Information Extraction (OBIE) has recently emerged as a subfield of Information Extraction (IE). Here, ontologies - which provide formal and explicit specificatio...
102
click to vote
COCO
2009
Springer
15 years 7 months ago
2009
Springer
Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. There is a significant ...