288 search results - page 45 / 58 » Interactive Termination Proofs Using Termination Cores |
IJCAI
2003
14 years 10 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...
CHI
2004
ACM
15 years 2 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...
100
click to vote
OOPSLA
2005
Springer
15 years 2 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...
TII
2010
14 years 4 months 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 ...
HCI
2009
14 years 7 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...