4211 search results - page 702 / 843 » A formal approach to MASQ |
150
click to vote
HYBRID
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
158
click to vote
ICDT
2007
ACM
16 years 19 days ago
2007
ACM
Abstract. In many cases, users may want to consider incomplete answers to their queries. Often, however, there is an overwhelming number of such answers, even if subsumed answers a...
163
click to vote
ICDT
2007
ACM
16 years 19 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
149
click to vote
IFM
2007
Springer
16 years 18 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
179
click to vote
ILP
2007
Springer
16 years 18 days ago
2007
Springer
: This paper is concerned with relational Support Vector Machines, at the intersection of Support Vector Machines (SVM) and relational learning or Inductive Logic Programming (ILP)...