224 search results - page 45 / 45 » Three New Algorithms for Regular Language Enumeration |
91
Voted
AI
2010
Springer
14 years 11 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
118
click to vote
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
The PC Desktop is a very rich repository of personal information, efficiently capturing user's interests. In this paper we propose a new approach towards an automatic persona...
108
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
SMA
2008
ACM
14 years 11 months ago
2008
ACM
Surface matching is fundamental to shape computing and various downstream applications. This paper develops a powerful pants decomposition framework for computing maps between sur...