Sciweavers

1472 search results - page 189 / 295
» Technique Integration for Requirements Assessment
Sort
View
DATE
2008
IEEE
113views Hardware» more  DATE 2008»
16 years 28 days ago
Random Stimulus Generation using Entropy and XOR Constraints
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
Stephen Plaza, Igor L. Markov, Valeria Bertacco
VTC
2008
IEEE
173views Communications» more  VTC 2008»
16 years 25 days ago
A Cross-Layer Framework of QoS Routing and Distributed Scheduling for Mesh Networks
Abstract—Cross-layer routing and scheduling algorithms design for wireless backhaul mesh network has attracted much research interest recently. The network is expected to support...
Chi Harold Liu, Athanasios Gkelias, Kin K. Leung
PPDP
2007
Springer
16 years 17 days ago
Putting declarative programming into the web: translating curry to javascript
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
Michael Hanus
ICDM
2006
IEEE
138views Data Mining» more  ICDM 2006»
16 years 15 days ago
Adaptive Blocking: Learning to Scale Up Record Linkage
Many information integration tasks require computing similarity between pairs of objects. Pairwise similarity computations are particularly important in record linkage systems, as...
Mikhail Bilenko, Beena Kamath, Raymond J. Mooney
NETGAMES
2006
ACM
16 years 12 days ago
Telebuddies on the move: social stitching to enhance the networked gaming experience
In this paper we report on our work to enable “laid-back” social interactions using television as a primary interaction medium and mobile devices that participate as a seconda...
Kris Luyten, Kristof Thys, Steven Huypens, Karin C...