2419 search results - page 430 / 484 » A Formal Approach to Software Testing |
EGH
2003
Springer
14 years 1 months ago
2003
Springer
—We present a method for using programmable graphics hardware to solve a variety of boundary value problems. The time-evolution of such problems is frequently governed by partial...
ICDAR
1999
IEEE
14 years 12 days ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
SIGIR
2008
ACM
13 years 8 months ago
2008
ACM
Topical noise in blogs arises when bloggers digress from the central topical thrust of their blogs. We introduce a method to explicitly incorporate a model of topical noise into a...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
TABLETOP
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a novel interface for a digital paint system: IntuPaint. A tangible interface for a digital paint easel, using an interactive surface and electronic brushes wi...