7040 search results - page 417 / 1408 » The Single Model Principle |
169
click to vote
ISCAS
2005
IEEE
16 years 12 days ago
2005
IEEE
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
169
click to vote
SEMWEB
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
167
click to vote
IBPRIA
2003
Springer
16 years 20 hour ago
2003
Springer
Abstract. We compare two successful discriminative classification algorithms on three databases from the UCI and STATLOG repositories. The two approaches are the log-linear model ...
181
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
163
click to vote
FM
1994
Springer
15 years 11 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...