278 search results - page 40 / 56 » A Framework for Counterexample Generation and Exploration |
WICOMM
2008
13 years 8 months ago
2008
This paper explores the logical device aggregation of terminals in future generation networks, where the availability of several different radio access techniques is integrated by...
JODI
2002
13 years 8 months ago
2002
This paper explores the idea of dynamically adding multidestination links to Web pages, based on the context of the pages and users, as a way of assisting Web users in their infor...
EWC
2010
13 years 7 months ago
2010
When dealing with computationally expensive simulation codes or process measurement data, surrogate modeling methods are firmly established as facilitators for design space explor...
ERSA
2010
13 years 6 months ago
2010
In this paper, we introduce the open-source PivPav backend tool for reconfigurable computing. Essentially, PivPav provides an interface to a library of digital circuits that are ke...
NPAR
2004
ACM
14 years 1 months ago
2004
ACM
Artistic rendering is an important research area in Computer Graphics, yet relatively little attention has been paid to the projective properties of computer generated scenes. Mot...