Sciweavers

3710 search results - page 361 / 742
» A new calculus of contexts
Sort
View
GECCO
2003
Springer
138views Optimization» more  GECCO 2003»
16 years 2 days ago
Emergence of Collective Behavior in Evolving Populations of Flying Agents
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...
Lee Spector, Jon Klein, Chris Perry, Mark Feinstei...
IFL
2003
Springer
128views Formal Methods» more  IFL 2003»
16 years 2 days ago
With-Loop Scalarization - Merging Nested Array Operations
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
ICCAD
2002
IEEE
100views Hardware» more  ICCAD 2002»
15 years 11 months ago
Optimal buffered routing path constructions for single and multiple clock domain systems
Shrinking process geometries and the increasing use of IP components in SoC designs give rise to new problems in routing and buffer insertion. A particular concern is that cross-c...
Soha Hassoun, Charles J. Alpert, Meera Thiagarajan
ICPPW
2002
IEEE
15 years 11 months ago
OAI-P2P: A Peer-to-Peer Network for Open Archives
OAI is designed with a low-barrier technology approach, thus allowing institutions to provide content metadata with little effort. On the other hand, search capabilities are very ...
Benjamin Ahlborn, Wolfgang Nejdl, Wolf Siberski
VL
2002
IEEE
104views Visual Languages» more  VL 2002»
15 years 11 months ago
First Steps in Programming: A Rationale for Attention Investment Models
Research into the cognitive aspects of programming originated in the study of professional programmers (whether experts or students). Even “end-user” programmers in previous s...
Alan F. Blackwell