1042 search results - page 23 / 209 » Failing First: An Update |
APAL
2006
14 years 10 months ago
2006
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form ...
HAPTICS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
— Structured peer-to-peer systems have emerged as infrastructures for resource sharing in large-scale, distributed, and dynamic environments. One challenge in these systems is to...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— A distributed online learning framework for support vector machines (SVMs) is presented and analyzed. First, the generic binary classification problem is decomposed in...
112
click to vote
FASE
2011
Springer
14 years 1 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...