Sciweavers

3131 search results - page 93 / 627
» Generalized connection caching
Sort
View
IPL
2008
102views more  IPL 2008»
13 years 10 months 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
TROB
2002
117views more  TROB 2002»
13 years 9 months 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...
ISBI
2011
IEEE
13 years 1 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...
ICONFERENCE
2012
12 years 5 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...
EUSFLAT
2007
145views Fuzzy Logic» more  EUSFLAT 2007»
13 years 11 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...