5159 search results - page 650 / 1032 » Structural Testing of Executables |
196
click to vote
ICML
2004
IEEE
16 years 8 months ago
2004
IEEE
We introduce a framework, which we call Divide-by-2 (DB2), for extending support vector machines (SVM) to multi-class problems. DB2 offers an alternative to the standard one-again...
213
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
210
click to vote
ISBI
2004
IEEE
16 years 8 months ago
2004
IEEE
The identification of bronchovascular pairs on High Resolution Computer Tomography (HRCT) images provides valuable diagnostic information in patients with suspected airway disease...
176
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Tactile icons (Tactons) are structured vibrotactile messages which can be used for non visual information display. Information is encoded in Tactons by manipulating vibrotactile p...
270
Voted
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
This demonstration showcases the STEP system for natural language access to relational databases. In STEP an administrator authors a highly structured semantic grammar through cou...