4036 search results - page 731 / 808 » Formal Methods |
165
click to vote
SAB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Symmetry breaking is commonly found in self-organized collective decision making. It serves an important functional role, specifically in biological and bio-inspired sys...
124
click to vote
SIAMAM
2010
15 years 3 months ago
2010
We study vesicles formed by lipid bilayers that are governed by an elastic bending energy and on which the lipids laterally separate forming two different phases. The energy laden...
164
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Dealing with verbose (or long) queries poses a new challenge for information retrieval. Selecting a subset of the original query (a "sub-query") has been shown to be an ...
163
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
150
click to vote
ACL
2009
15 years 2 months ago
2009
This paper introduces a new algorithm to parse discourse within the framework of Rhetorical Structure Theory (RST). Our method is based on recent advances in the field of statisti...