1547 search results - page 162 / 310 » The Isabelle Collections Framework |
121
click to vote
ESCIENCE
2006
IEEE
15 years 4 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
101
Voted
FQAS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. When querying XML collections, users cannot always express their need in a precise way. Systems should therefore support vagueness at both the content and structural leve...
110
Voted
ICCL
1994
IEEE
15 years 4 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
110
click to vote
FLAIRS
2008
15 years 3 months ago
2008
An efficient framework is proposed for the fast recovery of Bayesian network classifier. A novel algorithm, called Iterative Parent-Child learningBayesian Network Classifier (IPC-...
109
Voted
WSC
2008
15 years 3 months ago
2008
Multinational logistics cooperation is essential for reducing the collective logistics footprint, optimizing resource usage and enhancing interoperability in military operations. ...