5599 search results - page 675 / 1120 » Abstract State Services |
199
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
193
click to vote
AIRS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper investigates the effect of performance measures and relevance functions in comparing retrieval systems in INEX, an evaluation forum dedicated to XML retrieval....
213
click to vote
CSCLP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
165
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The drum machine has been an important tool in music production for decades. However, its flawless way of playing drum patterns is often perceived as mechanical and rigid...
176
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...