656 search results - page 82 / 132 » A Formalization of Transition P Systems |
126
click to vote
OPODIS
2003
15 years 1 months ago
2003
In this paper we present a framework to formally describe and study the interconnection of distributed shared memory systems. In our models we minimize the dependencies between the...
KDD
2007
ACM
16 years 26 days ago
2007
ACM
We present LungCAD, a computer aided diagnosis (CAD) system that employs a classification algorithm for detecting solid pulmonary nodules from CT thorax studies. We briefly descri...
186
click to vote
POPL
2004
ACM
16 years 23 days ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
This study extends the concept of weak and strong ties to the relationship between an individual and a project, in the context of a formal review process. Using data collected fro...
107
click to vote
SEW
2006
IEEE
15 years 6 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...