Sciweavers

963 search results - page 120 / 193
» Escape Analysis on Lists
Sort
View
92
Voted
IPM
2008
139views more  IPM 2008»
15 years 17 days ago
Users can change their web search tactics: Design guidelines for categorized overviews
Categorized overviews of web search results are a promising way to support user exploration, understanding, and discovery. These search interfaces combine a metadata-based overvie...
Bill Kules, Ben Shneiderman
ISCA
2008
IEEE
136views Hardware» more  ISCA 2008»
15 years 17 days ago
A Randomized Queueless Algorithm for Breadth-First Search
First Come First Served is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems [28, 11], scheduling web ...
K. Subramani, Kamesh Madduri
96
Voted
IJFCS
2006
119views more  IJFCS 2006»
15 years 17 days ago
Enforcing Concurrent Temporal Behaviors
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
Doron Peled, Hongyang Qu
110
Voted
FCSC
2007
108views more  FCSC 2007»
15 years 15 days ago
Offline Chinese handwriting recognition: an assessment of current technology
Offline Chinese handwriting recognition (OCHR) is a typically difficult pattern recognition problem. Many authors have presented various approaches to recognizing its different asp...
Sargur N. Srihari, Xuanshen Yang, Gregory R. Ball
SOCA
2008
IEEE
15 years 14 days ago
Specification of realizable service conversations using collaboration diagrams
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
Tevfik Bultan, Xiang Fu