4555 search results - page 331 / 911 » Deductive Algorithmic Knowledge |
108
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
120
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
The Semantic Web community has expressed its interest on how the Semantic Web technology can be applied more efficiently in a manner that supports real world applications. Addition...
143
Voted
FAW
2009
Springer
15 years 10 months ago
2009
Springer
Data access time becomes the main bottleneck in applications dealing with large-scale graphs. Cache-oblivious layouts, constructed to minimize the geometric mean of arc lengths of ...
138
Voted
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We present a distributed connectivity service that allows agents in a mobile ad-hoc network to move while preserving connectivity. This allows unmodified motion plannin...
144
Voted
IDEAL
2007
Springer
15 years 9 months ago
2007
Springer
Microarray technology produces large amounts of information to be manipulated by analysis methods, such as biclustering algorithms, to extract new knowledge. All-purpose multivaria...