6978 search results - page 1056 / 1396 » On Proofs in System P |
120
click to vote
MKM
2005
Springer
16 years 10 days ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
146
click to vote
RE
2005
Springer
16 years 10 days ago
2005
Springer
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
185
click to vote
GCC
2004
Springer
16 years 7 days ago
2004
Springer
Agent technology is critical in providing solutions to grid computing, including resource selection. Traditionally, agent deliberation offers a deductive process whose deliberation...
207
click to vote
GI
2004
Springer
16 years 7 days ago
2004
Springer
: We present our idea of solving parts of the vision task with an organic computing approach. We have designed a multiagent system (MAS) of many different modules working on differ...
163
click to vote
LCPC
2004
Springer
16 years 6 days ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...