2805 search results - page 251 / 561 » Modeling Memory for Melodies |
184
click to vote
DAGM
2005
Springer
16 years 5 days ago
2005
Springer
We present an approach for the supervised online learning of object representations based on a biologically motivated architecture of visual processing. We use the output of a rece...
163
click to vote
PATMOS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The load-store queue (LQ-SQ) of modern superscalar processors is responsible for keeping the order of memory operations. As the performance gap between processing speed a...
296
click to vote
DEXA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Previous works in change detection on XML focused on detecting changes to text file using ordered and unordered tree model. These approaches are not suitable for detecti...
162
click to vote
LCTRTS
2004
Springer
16 years 14 hour ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
151
click to vote
TACAS
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...