1522 search results - page 206 / 305 » On the Complexity of Several Haplotyping Problems |
178
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
141
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
In our work, we address the problem of modeling social network generation which explains both link and group formation. Recent studies on social network evolution propose generati...
147
click to vote
CHI
2005
ACM
16 years 6 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 ...
154
click to vote
VLSID
2006
IEEE
16 years 6 months ago
2006
IEEE
With increasing design complexity, as well as continued scaling of supplies, the design and analysis of power/ground distribution networks poses a difficult problem in modern IC d...
177
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...