434 search results - page 50 / 87 » Embedded Intelligence |
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
100
click to vote
TPHOL
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper describes a multiagent system that has made the voyage from research project to commercialised product. The purpose for the multiagent system is to dynamically control ...
IDEAL
2007
Springer
15 years 5 months ago
2007
Springer
Clustering is used to generate groupings of data from a large dataset, with the intention of representing the behavior of a system as accurately as possible. In this sense, cluster...
122
click to vote
ADVIS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The management of modern telecommunications networks must satisfy ever-increasing operational demands. We propose a study for the improvement of intelligent administratio...