9264 search results - page 115 / 1853 » Space Between Languages |
126
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates, as well as Boolean operations on regions, interpreted over low-...
118
click to vote
POS
1987
Springer
15 years 7 months ago
1987
Springer
Conventional paging systems do not perform well with large object-oriented environments (such as Smalltalk-801 [GR83]) due to the fine granularity of objects and the persistence o...
148
Voted
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
120
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
122
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Computers understand very little of the meaning of human language. This profoundly limits our ability to give instructions to computers, the ability of computers to explain their ...