2806 search results - page 106 / 562 » BML and Related Tools |
170
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
179
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Recently there has been considerable interest in learning with higher order relations (i.e., three-way or higher) in the unsupervised and semi-supervised settings. Hypergraphs and...
164
click to vote
FORTE
1990
15 years 8 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
176
click to vote
NLDB
2007
Springer
16 years 29 days ago
2007
Springer
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
172
click to vote
VLDB
2007
ACM
16 years 29 days ago
2007
ACM
tools for profiling and tuning application code remain disconnected from the profiling and tuning tools for relational DBMSs. This makes it challenging for developers of database ...