36320 search results - page 329 / 7264 » From Code to Models |
142
click to vote
ICA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Visual perception of transformation invariance, such as translation, rotation and scaling, is one of the important functions of processing visual information in the Brain...
194
click to vote
3DPVT
2006
IEEE
16 years 23 days ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...
176
click to vote
TACAS
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
136
click to vote
AEI
2010
15 years 6 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
146
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Traditional code optimization techniques treat loops as nonpredictable structures and do not consider expressions containing array accesses for optimization. We show that...