11397 search results - page 1974 / 2280 » A Relational Abstraction for Functions |
195
click to vote
AC
2000
Springer
15 years 7 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
200
click to vote
SIGIR
2002
ACM
15 years 7 months ago
2002
ACM
mes, abstracts and year of publication of all 853 papers published.1 We then applied Porter stemming and stopword removal to this text, represented terms from the elds with twice t...
201
Voted
SOFTWARE
2002
15 years 7 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
217
click to vote
MICS
2010
15 years 6 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
214
click to vote
TSE
2010
15 years 6 months ago
2010
—Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry out a task. Process modeling typically focu...