688 search results - page 67 / 138 » The Flow Set with Partial Order |
148
Voted
JAPLL
2006
15 years 3 months ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
134
Voted
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
A genetic map is an ordering of genetic markers constructed from genetic linkage data for use in linkage studies and experimental design. While traditional methods have focused on...
140
Voted
ASAP
2008
IEEE
15 years 5 months ago
2008
IEEE
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...
134
Voted
IJCSA
2007
15 years 3 months ago
2007
Preference-based queries often referred to as skyline queries play an important role in cooperative query processing. However, their prohibitive result sizes pose a severe challen...
100
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...