6014 search results - page 1108 / 1203 » Parametric Analysis of Computer Systems |
149
Voted
KDD
1999
ACM
15 years 7 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
134
Voted
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
135
Voted
ASSETS
2007
ACM
15 years 7 months ago
2007
ACM
The MobileASL project aims to increase accessibility by enabling Deaf people to communicate over video cell phones in their native language, American Sign Language (ASL). Real-tim...
150
Voted
ELPUB
2007
ACM
15 years 7 months ago
2007
ACM
A proposal is presented for a standard ontology language defined as ElPub/SciX Ontology, based on the content of a web digital library of conference proceedings. This content, i.e...
134
Voted
CIVR
2006
Springer
15 years 7 months ago
2006
Springer
A combination of query-by-visual-example (QBVE) and semantic retrieval (SR), denoted as query-by-semantic-example (QBSE), is proposed. Images are labeled with respect to a vocabula...