1174 search results - page 156 / 235 » A Logical Approach to Abstract Algebra |
CD
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
GW
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
RSCTC
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We introduce an automated multi-spectral MRI segmentation technique based on approximate reducts derived from the data mining paradigm of the theory of rough sets. We uti...
FSEN
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
BIOADIT
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. This article describes a novel approach to the implementation on an electronic substrate of a process analogous to the cellular division of biological organisms. Cellular...