Sciweavers

5744 search results - page 1075 / 1149
» System level design, a VHDL based approach
Sort
View
DSS
2006
184views more  DSS 2006»
15 years 6 months ago
Building a scientific knowledge web portal: The NanoPort experience
There has been a tremendous growth in the amount of information and resources on the World Wide Web that are useful to researchers and practitioners in science domains. While the ...
Michael Chau, Zan Huang, Jialun Qin, Yilu Zhou, Hs...
POPL
2010
ACM
16 years 3 months ago
A Relational Modal Logic for Higher-Order Stateful ADTs
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
Derek Dreyer, Georg Neis, Andreas Rossberg, Lars B...
SDM
2009
SIAM
251views Data Mining» more  SDM 2009»
16 years 3 months ago
High Performance Parallel/Distributed Biclustering Using Barycenter Heuristic.
Biclustering refers to simultaneous clustering of objects and their features. Use of biclustering is gaining momentum in areas such as text mining, gene expression analysis and co...
Alok N. Choudhary, Arifa Nisar, Waseem Ahmad, Wei-...
CANDC
2009
ACM
16 years 26 days ago
Subliminal wiretapping
Subliminal Wiretapping is a subtly interactive artwork that utilizes random number generation modified through mindmatter effects to supply a continuous stream of words. Frequent,...
Shawn Lawson
FDG
2009
ACM
16 years 26 days ago
Perspectives, frame rates and resolutions: it's all in the game
Hardware and platform limitations restrict the display settings for most computer games, forcing a tradeoff between frame rate and resolution to achieve acceptable performance. Pr...
Mark Claypool, Kajal T. Claypool
« Prev « First page 1075 / 1149 Last » Next »