5525 search results - page 270 / 1105 » Verification of Model Transformations |
132
click to vote
ICANN
2010
Springer
15 years 6 months ago
2010
Springer
Visual recognition faces the difficult problem of recognizing objects despite the multitude of their appearances. Ample neuroscientific evidence shows that the cortex uses a topogr...
166
click to vote
IJNSEC
2008
15 years 5 months ago
2008
Blocking artifact is one of the main drawbacks of the block-based watermarking method. Though a number of researches on "transparent" digital watermarking system have be...
127
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
121
click to vote
ESANN
2004
15 years 6 months ago
2004
This work investigates whether population vector coding could be a principle mechanism for sensorimotor transformations. This paper presents a formal demonstration of how populatio...
131
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...