9310 search results - page 1756 / 1862 » User interface continuations |
125
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
112
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
At Google, experimentation is practically a mantra; we evaluate almost every change that potentially affects what our users experience. Such changes include not only obvious user-...
98
Voted
SOUPS
2010
ACM
15 years 5 months ago
2010
ACM
Users of social networking sites often want to manage the sharing of information and content with different groups of people based on their differing relationships. However, group...
149
click to vote
HOPL
2007
15 years 5 months ago
2007
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...
116
click to vote
DIAL
2004
IEEE
15 years 5 months ago
2004
IEEE
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...