2268 search results - page 106 / 454 » The Essence of Form Abstraction |
157
click to vote
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
134
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
179
click to vote
ICA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We proposed recently a new method for separating linearquadratic mixtures of independent real sources, based on parametric identification of a recurrent separating struc...
149
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...
156
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We investigate the application of a Monte Carlo localization filter to the problem of combining local and global observations of a small, off-the-shelf quadruped domest...