Sciweavers

12459 search results - page 379 / 2492
» cans 2006
Sort
View
AH
2006
Springer
16 years 26 days ago
Combining Coherence and Adaptation in Discourse-Oriented Hypermedia Generation
This paper provides a solution to discourse structure adaptation in the process of automatic hypermedia presentation generation. Existing approaches to discourse structure composit...
Kateryna Falkovych, Federica Cena, Frank Nack
APLAS
2006
ACM
16 years 26 days ago
Widening Polyhedra with Landmarks
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
Axel Simon, Andy King
ASSETS
2006
ACM
16 years 26 days ago
SADIe: : transcoding based on CSS
Visually impaired users are hindered in their efforts to access the World Wide Web (Web) because their information and presentation requirements are different from those of a sigh...
Simon Harper, Sean Bechhofer, Darren Lunn
DAC
2006
ACM
16 years 26 days ago
Mining global constraints for improving bounded sequential equivalence checking
In this paper, we propose a novel technique on mining relationships in a sequential circuit to discover global constraints. In contrast to the traditional learning methods, our mi...
Weixin Wu, Michael S. Hsiao
INTERSENSE
2006
ACM
16 years 26 days ago
Particle-based methodology for representing mobile ad-hoc networks
—We present a methodology based on physics laws and particles in order to represent, simulate, and architect advanced networking models. We introduce a mathematical formalism wit...
Carlos J. Martinez, Marisa López, Luis C. E...