6740 search results - page 749 / 1348 » Using Classification as a Programming Language |
157
click to vote
APLAS
2003
ACM
16 years 15 days ago
2003
ACM
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
170
click to vote
APN
2003
Springer
16 years 14 days ago
2003
Springer
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
180
click to vote
ASPLOS
1991
ACM
15 years 10 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...
204
click to vote
ECOOP
2004
Springer
16 years 19 days ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
207
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Putative brain processes responsible for understanding language are based on spreading activation in semantic networks, providing enhanced representations that involve c...