288 search results - page 45 / 58 » Interactive Termination Proofs Using Termination Cores |
197
click to vote
IJCAI
2003
15 years 7 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
160
click to vote
CHI
2004
ACM
15 years 11 months ago
2004
ACM
With the evolving functionality in television-based (TVbased) information and entertainment appliances, there is an increased need to enable users input text through remote contro...
175
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
182
click to vote
TII
2010
15 years 22 days ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
111
click to vote
HCI
2009
15 years 3 months ago
2009
Relaxing the contracted muscles involved in focus-adjustment around the eyeball, such as the ciliary body and extraocular muscles, is expected to improve pseudomyopia. This hypothe...