2607 search results - page 286 / 522 » Complete Functional Synthesis |
124
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Network reconstruction, i.e. obtaining network structure from input-output information, is a central theme in systems biology. A variety of approaches aim to obtaining structur...
169
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
Nearest-neighbor queries are an important query type for commonly used feature databases. In many different application areas, e.g. sensor databases, location based services or fac...
112
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
148
click to vote
STACS
2007
Springer
15 years 10 months ago
2007
Springer
Strategic games may exhibit symmetries in a variety of ways. A characteristic feature, enabling the compact representation of games even when the number of players is unbounded, i...
136
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
XML transformations are most naturally defined as recursive functions on trees. Their direct implementation, however, causes inefficient memory usage because the input XML tree is...