Sciweavers

2042 search results - page 317 / 409
» A Global Grid Model Based on
Sort
View
APN
2006
Springer
14 years 2 months ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard
ASWC
2006
Springer
14 years 2 months ago
Finding Important Vocabulary Within Ontology
In current Semantic Web community, some researches have been done on ranking ontologies, while very little is paid to ranking vocabularies within ontology. However, finding importa...
Xiang Zhang, Hongda Li, Yuzhong Qu
CLEF
2006
Springer
14 years 2 months ago
Baseline Results for the ImageCLEF 2006 Medical Automatic Annotation Task
The ImageCLEF 2006 medical automatic annotation task encompasses 11,000 images from 116 categories, compared to 57 categories for 10,000 images of the similar task in 2005. As a b...
Mark Oliver Güld, Christian Thies, Benedikt F...
DDECS
2006
IEEE
146views Hardware» more  DDECS 2006»
14 years 2 months ago
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
Jochen Eisinger, Ilia Polian, Bernd Becker, Alexan...
BMCBI
2005
88views more  BMCBI 2005»
13 years 10 months ago
Using large-scale perturbations in gene network reconstruction
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...
Thomas MacCarthy, Andrew Pomiankowski, Robert Seym...