9730 search results - page 448 / 1946 » Relating models of backtracking |
184
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
186
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
220
Voted
PVLDB
2008
15 years 6 months ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
202
Voted
NJC
2006
15 years 6 months ago
2006
Abstract. We present a new parallel computation model called the Parallel ResourceOptimal computation model. PRO is a framework being proposed to enable the design of efficient and...
212
Voted
BC
2005
15 years 6 months ago
2005
Abstract Weproposeacomputationalmodelofcontourintegration for visual saliency. The model uses biologically plausible devices to simulate how the representations of elements aligned...