3379 search results - page 276 / 676 » Combinators for Interaction Nets |
177
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...
168
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we investigate targeted steering motions. Fitts' law is a very successful model to explain human targeting behavior, while the Steering law has been used to mod...
178
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Recognition technologies such as speech recognition and optical recognition are still, by themselves. not reliable enough for many practical uses in user interfaces However, by co...
177
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
173
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...