9067 search results - page 1631 / 1814 » Adaptive Model Checking |
155
click to vote
SMI
2006
IEEE
16 years 27 days ago
2006
IEEE
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...
170
click to vote
DOCENG
2006
ACM
16 years 26 days ago
2006
ACM
In many text-processing applications, we would like shapes that expand (or shrink) in size to fit their textual content. We address how to efficiently compute the minimum size fo...
151
click to vote
ITICSE
2006
ACM
16 years 25 days ago
2006
ACM
Crafting a good user experience requires skills in several disciplines. Few people have this breadth of knowledge, and undergraduate computer science students are no exception. En...
273
click to vote
IUI
2006
ACM
16 years 25 days ago
2006
ACM
This paper addresses the problem of the graceful degradation of user interfaces where an initial interface is transferred to a smaller platform. It presents a technique for pagina...
192
click to vote
IWCMC
2006
ACM
16 years 25 days ago
2006
ACM
Orthogonal frequency division multiplexing (OFDM) is very sensitive to frequency offsets which result in considerable interference. Performance of the system will be exacerbated ...