11397 search results - page 1969 / 2280 » A Relational Abstraction for Functions |
228
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
Numerous recent papers have found important relationships between network structure and risks within networks. These results indicate that network structure can dramatically affec...
181
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
199
click to vote
IEAAIE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract Unipolar depression is a mental disorder characterized by a persistent low mood and loss of awareness or contentment in usual activities [1]. Despite the modern era of pha...
248
click to vote
CMSB
2007
Springer
16 years 1 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
207
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...