Sciweavers

3131 search results - page 93 / 627
» Generalized connection caching
Sort
View
116
Voted
IPL
2008
102views more  IPL 2008»
15 years 20 days ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
76
Voted
TROB
2002
117views more  TROB 2002»
15 years 9 days ago
Concurrent metamorphosis of hexagonal robot chains into simple connected configurations
Abstract-- The problem addressed is the distributed reconfiguration of a metamorphic robotic system composed of an arbitrary number of two dimensional hexagonal robots (modules) fr...
Jennifer E. Walter, Jennifer L. Welch, Nancy M. Am...
234
Voted
ISBI
2011
IEEE
14 years 4 months ago
Hierarchical clustering of the genetic connectivity matrix reveals the network topology of gene action on brain microstructure:
Genetic correlation (rg) analysis determines how much of the correlation between two measures is due to common genetic influences. In an analysis of 4 Tesla diffusion tensor image...
Ming-Chang Chiang, Marina Barysheva, Katie McMahon...
127
Voted
ICONFERENCE
2012
13 years 8 months ago
Rural anchor institution broadband connectivity: enablers and barriers to adoption
This paper presents findings from two research projects that entail needs assessments, benchmarking, and onsite diagnostics of anchor institutions in support of multi-million doll...
Lauren H. Mandel, Nicole D. Alemanne, Charles R. M...
110
Voted
EUSFLAT
2007
145views Fuzzy Logic» more  EUSFLAT 2007»
15 years 2 months ago
Concept Lattices under Non-commutative Conjunctors Are Generalized Concept Lattices
Generalized concept lattices have been recently proposed to deal with uncertainty or incomplete information as a non-symmetric generalization of the theory of fuzzy formal concept...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...