Sciweavers

10997 search results - page 1929 / 2200
» On the Structure of Complete Sets
Sort
View
COGSCI
2010
114views more  COGSCI 2010»
15 years 6 months ago
Direct Associations or Internal Transformations? Exploring the Mechanisms Underlying Sequential Learning Behavior
We evaluate two broad classes of cognitive mechanisms that might support the learning of sequential patterns. According to the first, learning is based on the gradual accumulation...
Todd M. Gureckis, Bradley C. Love
CGF
2008
165views more  CGF 2008»
15 years 6 months ago
GPU-based Fast Ray Casting for a Large Number of Metaballs
Metaballs are implicit surfaces widely used to model curved objects, represented by the isosurface of a density field defined by a set of points. Recently, the results of particle...
Yoshihiro Kanamori, Zoltan Szego, Tomoyuki Nishita
COR
2010
146views more  COR 2010»
15 years 6 months ago
A search space "cartography" for guiding graph coloring heuristics
We present a search space analysis and its application in improving local search algorithms for the graph coloring problem. Using a classical distance measure between colorings, w...
Daniel Cosmin Porumbel, Jin-Kao Hao, Pascale Kuntz
CORR
2010
Springer
183views Education» more  CORR 2010»
15 years 6 months ago
Forming the COUNCIL Based Clusters in Securing Wireless Ad Hoc Networks
-- In cluster-based routing protocol (CBRP), two-level hierarchical structure is successfully used to reduce over-flooding in wireless ad hoc networks. As it is vulnerable to a sin...
Alok Ojha, Hongmei Deng, Dharma P. Agrawal, Sugata...
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 6 months ago
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
Zachary Snow, David Baelde, Gopalan Nadathur
« Prev « First page 1929 / 2200 Last » Next »