14169 search results - page 2674 / 2834 » Tabular application development |
159
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Many database applications have the emerging need to support fuzzy queries that ask for strings that are similar to a given string, such as “name similar to smith” and “tele...
155
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
171
click to vote
WINE
2005
Springer
15 years 11 months ago
2005
Springer
This paper takes the first steps towards designing incentive compatible mechanisms for hierarchical decision making problems involving selfish agents. We call these Stackelberg p...
165
click to vote
ASPDAC
2004
ACM
15 years 11 months ago
2004
ACM
— We have developed the first real-time 3-D image sensor with VGA pixel resolution using mixed-signal techniques to achieve high-speed and high-accuracy range calculation based ...
162
click to vote
ASPLOS
2004
ACM
15 years 11 months ago
2004
ACM
Tracing garbage collectors traverse references from live program variables, transitively tracing out the closure of live objects. Memory accesses incurred during tracing are essen...