Sciweavers

1188 search results - page 65 / 238
» Generating Connectives
Sort
View
103
Voted
IWANN
2001
Springer
15 years 8 months ago
A Realistic Computational Model of the Local Circuitry of the Cuneate Nucleus
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
Eduardo Sánchez Vila, Senén Barro, J...
115
Voted
HYBRID
1997
Springer
15 years 7 months ago
Relating Time Progress and Deadlines in Hybrid Systems
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
Sébastien Bornot, Joseph Sifakis
193
Voted
GLDV
2001
15 years 4 months ago
Coherence in the Learning System k-med
The advantages of a hypermedia learning system are the possibility to adapt the content to the learner and to maintain the content easily due to the modular structure. The disadva...
Ralf Steinmetz, Cornelia Seeberg, Achim Steinacker
ENDM
2010
101views more  ENDM 2010»
15 years 3 months ago
Strong Lower Bounds for a Survivable Network Design Problem
We consider a generalization of the Prize Collecting Steiner Tree Problem on a graph with special redundancy requirements on a subset of the customer nodes suitable to model a rea...
Markus Leitner, Günther R. Raidl
122
Voted
IM
2008
15 years 3 months ago
The Structure of Geographical Threshold Graphs
We analyze the structure of random graphs generated by the geographical threshold model. The model is a generalization of random geometric graphs. Nodes are distributed in space, a...
Milan Bradonjic, Aric A. Hagberg, Allon G. Percus