13383 search results - page 2375 / 2677 » Abstractions from proofs |
164
click to vote
CIARP
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...
153
Voted
CIKM
2009
Springer
16 years 22 days ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
163
click to vote
DFG
2009
Springer
16 years 21 days ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...
146
click to vote
ESWS
2009
Springer
16 years 21 days ago
2009
Springer
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
155
click to vote
FC
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. We present a useful new mechanism that facilitates the atomic exchange of many large baskets of securities in a combinatorial exchange. Cryptography prevents information ...