692 search results - page 104 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
132
click to vote
ICWSM
2009
14 years 9 months ago
2009
Gephi is an open source software for graph and network analysis. It uses a 3D render engine to display large networks in real-time and to speed up the exploration. A flexible and ...
105
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
NDQA
2003
15 years 1 months ago
2003
Research on Question Answering has produced an arsenal of useful techniques for detecting answers that are explicitly present in the text of a collection of documents. To move bey...
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
IEAAIE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Human-Artifact interaction in real world situations is currently an active area of research due to the importance foreseen of the social capabilities of near future robot...