Sciweavers

451 search results - page 45 / 91
» Integrating Time into Spatially Represented Knowledge Struct...
Sort
View
CORR
2010
Springer
99views Education» more  CORR 2010»
15 years 2 months ago
A New Phase Transition for Local Delays in MANETs
: We study a slotted version of the Aloha Medium Access (MAC) protocol in a Mobile Ad-hoc Network (MANET). Our model features transmitters randomly located in the Euclidean plane, ...
François Baccelli, Bartek Blaszczyszyn
148
Voted
SIAMSC
2011
85views more  SIAMSC 2011»
14 years 4 months ago
Refinement and Connectivity Algorithms for Adaptive Discontinuous Galerkin Methods
Abstract. Adaptive multiscale methods are among the many effective techniques for the numerical solution of partial differential equations. Efficient grid management is an import...
Kolja Brix, Ralf Massjung, Alexander Voss
92
Voted
AIIA
2001
Springer
15 years 6 months ago
Characterising Concept's Properties in Ontologies
Abstract. This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitl...
Valentina A. M. Tamma, Trevor J. M. Bench-Capon
136
Voted
APN
2006
Springer
15 years 3 months ago
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
Abstract. We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical n...
David Gilbert, Monika Heiner
ATS
2009
IEEE
142views Hardware» more  ATS 2009»
15 years 8 months ago
Speeding up SAT-Based ATPG Using Dynamic Clause Activation
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
Stephan Eggersglüß, Daniel Tille, Rolf ...