3717 search results - page 529 / 744 » Representing Multiple Theories |
143
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
Massive publicly available gene expression data consisting of different experimental conditions and microarray platforms introduce new challenges in data mining when integrating m...
131
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
This research introduces privacy issues related to the viewing of incidental information during co-located collaboration. Web browsers were the representative application used in ...
130
Voted
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Conducting research using the web is often an iterative process of collecting, comparing and contrasting information. Not surprisingly, web-based research tasks habitually span mu...
117
click to vote
VLSID
2006
IEEE
16 years 5 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
218
Voted
POPL
2004
ACM
16 years 5 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...