1128 search results - page 187 / 226 » Classical Natural Deduction |
IUI
2010
ACM
15 years 6 months ago
2010
ACM
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
101
click to vote
TMA
2010
Springer
15 years 4 months ago
2010
Springer
In this work we discuss the use of passive measurements of TCP performance indicators in support of network operation and troubleshooting, presenting a case-study from a real 3G ce...
POPL
2009
ACM
15 years 4 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
103
click to vote
WEBDB
2009
Springer
15 years 4 months ago
2009
Springer
Linguists and geographers are more and more interested in route direction documents because they contain interesting motion descriptions and language patterns. A large number of s...
CCA
2009
Springer
15 years 4 months ago
2009
Springer
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Mar...