Sciweavers

8086 search results - page 8 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
SIGSOFT
2008
ACM
16 years 8 days ago
Javert: fully automatic mining of general temporal properties from dynamic traces
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
Mark Gabel, Zhendong Su
BC
2002
84views more  BC 2002»
14 years 11 months ago
Hebbian spike-driven synaptic plasticity for learning patterns of mean firing rates
Synaptic plasticity is believed to underlie the formation of appropriate patterns of connectivity that stabilize stimulus-selective reverberations in the cortex. Here we present a ...
Stefano Fusi
CORR
2000
Springer
81views Education» more  CORR 2000»
14 years 11 months ago
Safe cooperative robot dynamics on graphs
This paper initiates the use of vector fields to design, optimize, and implement reactive schedules for safe cooperative robot patterns on planar graphs. We consider Automated Gui...
Robert Ghrist, Daniel E. Koditschek
ISBRA
2009
Springer
15 years 6 months ago
Querying Protein-Protein Interaction Networks
Recent techniques increase the amount of our knowledge of interactions between proteins. To filter, interpret and organize this data, many authors have provided tools for querying...
Guillaume Blin, Florian Sikora, Stéphane Vi...
ICDE
2007
IEEE
108views Database» more  ICDE 2007»
15 years 3 months ago
Problem definition for effective workload management
The paper introduces the problem of designing dynamic workload management (WM) tools that are aware of the diversity of classes of users and their diverse access patterns. Our app...
Adrian M. Teisanu, Sam Lightstone, Mariano P. Cons...