5232 search results - page 311 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
193
click to vote
TSE
2010
15 years 5 months ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...
173
click to vote
NIPS
2004
15 years 8 months ago
2004
We devise and experiment with a dynamical kernel-based system for tracking hand movements from neural activity. The state of the system corresponds to the hand location, velocity,...
164
click to vote
LREC
2010
15 years 8 months ago
2010
At present there is no publicly available data set to evaluate the performance of different summarization systems on the task of generating location-related extended image caption...
167
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
182
click to vote
MMM
2005
Springer
16 years 8 days ago
2005
Springer
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...