1837 search results - page 78 / 368 » Abstraction and the C Machine Model |
183
click to vote
ALT
2008
Springer
16 years 1 months ago
2008
Springer
Abstract For many centuries scientists have wondered how the human brain represents thoughts in terms of the underlying biology of neural activity. Philosophers, linguists, cogniti...
137
click to vote
PARLE
1992
15 years 8 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
141
click to vote
AEI
2005
15 years 4 months ago
2005
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
170
click to vote
AIPRF
2008
15 years 6 months ago
2008
Unsolicited commercial or bulk emails or emails containing viruses pose a great threat to the utility of email communications. A recent solution for filtering is reputation systems...
136
click to vote
CASSIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...