Sciweavers

1573 search results - page 159 / 315
» Signs and Formal Concepts
Sort
View
HICSS
2005
IEEE
151views Biometrics» more  HICSS 2005»
15 years 12 months ago
Inheritance in the Presence of Asynchronous Method Calls
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
Einar Broch Johnsen, Olaf Owe
ICFCA
2005
Springer
15 years 11 months ago
Conceptual Exploration of Semantic Mirrors
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
Uta Priss, L. John Old
SOCO
2005
Springer
15 years 11 months ago
A Lambda Calculus with Forms
Abstract. The need to use position-dependent parameters often hamdefinition of flexible, extensible, and reusable abstractions for software composition. This observation has led ...
Markus Lumpe
CAISE
2004
Springer
15 years 11 months ago
Information Modeling and Higher-order Types
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
Terry A. Halpin
ICFCA
2004
Springer
15 years 11 months ago
Modelling Tacit Knowledge via Questionnaire Data
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
Peter Busch, Debbie Richards