3238 search results - page 579 / 648 » On the Computational Interpretation of Negation |
159
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
178
click to vote
ECCB
2008
IEEE
16 years 20 days ago
2008
IEEE
Motivation: Extracting functional information from protein–protein interactions (PPI) poses significant challenges arising from the noisy, incomplete, generic and static nature...
162
click to vote
IEEESCC
2007
IEEE
16 years 15 days ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
199
click to vote
ISBRA
2007
Springer
16 years 10 days ago
2007
Springer
The fundamental goal of computational neuroscience is to discover anatomical features that reflect the functional organization of the brain. Investigations of the physical connect...
168
click to vote
TLCA
2007
Springer
16 years 9 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...