117 search results - page 8 / 24 » Accurate Centralization for Applying Model Checking on Netwo... |
154
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
136
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
The Semantic Web is a new layer of the Internet that enables semantic representation of the contents of existing web pages. Using common ontologies, human users sketch out the mos...
181
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Most digital still color cameras use a single electronic sensor (CCD or CMOS) overlaid with a color filter array. At each pixel location only one color sample is taken, and the ot...
139
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
The aim of this paper is to introduce a modelling concept and structuring principle for rule-based systems the semantics of which is not restricted to a sequential behavior, but ca...
202
click to vote
SOICT
2010
14 years 11 months ago
2010
Routing problems have been considered as central problems in the fields of transportation, distribution and logistics. LS(Graph) is a generic framework allowing to model and solve...