Sciweavers

2643 search results - page 228 / 529
» Higher order messaging
Sort
View
SIGUCCS
2000
ACM
15 years 11 months ago
New Economy, New Partnership: New DocShare
DocShare, born at SIGUCCS User Services ’95, has gone one step further in its evolution to take advantage of the new digital economy and partnership opportunity. DocShare is a c...
Keiko Pitter, Gil Gonzales, Marian Smith
LPAR
2000
Springer
15 years 10 months ago
Efficient Structural Information Analysis for Real CLP Languages
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
DMIN
2006
142views Data Mining» more  DMIN 2006»
15 years 8 months ago
Parallel Hybrid Clustering using Genetic Programming and Multi-Objective Fitness with Density (PYRAMID)
Clustering is the process of locating patterns in large data sets. It is an active research area that provides value to scientific as well as business applications. Practical clust...
Junping Sun, William Sverdlik, Samir Tout
DATE
2009
IEEE
115views Hardware» more  DATE 2009»
15 years 7 months ago
Making DNA self-assembly error-proof: Attaining small growth error rates through embedded information redundancy
Abstract--DNA self-assembly is emerging as the most promising technique for nanoscale self-assembly as it uses the simple, yet precise rules of DNA binding to create macroscale ass...
Saturnino Garcia, Alex Orailoglu
AI
2004
Springer
15 years 6 months ago
Logic-based subsumption architecture
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...
Eyal Amir, Pedrito Maynard-Zhang