4693 search results - page 361 / 939 » Verifying Hybrid Systems |
217
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
In this paper, we study the behavior of collaborative filtering based recommendations under evolving user profile scenarios. We propose a systematic validation methodology that ...
164
click to vote
IADIS
2003
15 years 8 months ago
2003
We present an Information Customization framework, which offers a unique hybrid of Adaptive Hypermedia and Constraint Satisfaction methods. IC is being modelled as a constraint sa...
364
click to vote
FPGA
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
185
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we tackle challenges in migrating enterprise services into hybrid cloud-based deployments, where enterprise operations are partly hosted on-premise and partly in th...
177
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Nucleic acid hybridization, a fundamental technique in molecular biology, can be modified into very effective and sensitive methods for detecting particular targets mi...