666 search results - page 80 / 134 » Modelling Interactive Experience, Function and Performance i... |
188
click to vote
FROCOS
2011
Springer
14 years 5 days ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
109
click to vote
BELL
2000
15 years 10 days ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
98
Voted
NIPS
2008
15 years 1 months ago
2008
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
81
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We present DynaSpot, a new technique for acquiring targets based on the area cursor. DynaSpot couples the cursor's activation area with its speed, behaving like a point curso...
109
click to vote
CIKM
2005
Springer
15 years 6 months ago
2005
Springer
Information retrieval systems (e.g., web search engines) are critical for overcoming information overload. A major deficiency of existing retrieval systems is that they generally...