1562 search results - page 35 / 313 » Convenience Over Correctness |
WAIM
2010
Springer
13 years 7 months ago
2010
Springer
In the Web 2.0 eras, the individual Internet users can also act as information providers, releasing information or making comments conveniently. However, some participants may spre...
JAR
2010
13 years 3 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
JMIV
2010
13 years 3 months ago
2010
A new numerical scheme is presented for strictly computing maximum likelihood (ML) of geometric fitting problems. Intensively studied in the past are those methods that first tran...
VRCAI
2004
ACM
14 years 2 months ago
2004
ACM
This paper concerns the application of pattern classification techniques to the domain of augmented reality. In many augmented reality applications, one of the ways in which info...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...