10615 search results - page 1423 / 2123 » Dynamic topic models |
201
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
203
click to vote
ENTCS
2008
15 years 7 months ago
2008
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
193
click to vote
BIOINFORMATICS
2006
15 years 7 months ago
2006
Multiple Alignment is a new interface for performing and analyzing multiple protein structure alignments. It enables viewing levels of sequence and structure similarity on the ali...
193
click to vote
CG
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a method to simulate the melting and flowing phenomena with different materials in multiple phases. In such a multiphase environment, solid objects are melted ...
138
Voted
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The aim of this paper is to propose a method for tagging named entities (NE), using natural language processing techniques. Beyond their literal meaning, named entities are freque...