Sciweavers

2880 search results - page 309 / 576
» Types are calling conventions
Sort
View
FSTTCS
2000
Springer
15 years 10 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
CHI
1995
ACM
15 years 10 months ago
Implicit Structures for Pen-Based Systems within a Freeform Interaction Paradigm
This paper presents a scheme for extending an informal, pen-based whiteboard system (Tivoli on the Xerox LiveBoard) to provide a structured editing capability without violating it...
Thomas P. Moran, Patrick Chiu, William van Melle, ...
CHI
1995
ACM
15 years 10 months ago
Social Information Filtering: Algorithms for Automating "Word of Mouth"
This paper describes a technique for making personalized recommendations from any type of database to a user based on similarities between the interest pro le of that user and tho...
Upendra Shardanand, Pattie Maes
CVRMED
1995
Springer
15 years 10 months ago
Adaptive Segmentation of MRI Data
Abstract. Intensity-based classification of MR images has proven problematic, even when advanced techniques are used. Intra-scan and interscan intensity inhomogeneities are a comm...
William M. Wells III, W. Eric L. Grimson, Ron Kiki...
WFLP
2000
Springer
148views Algorithms» more  WFLP 2000»
15 years 10 months ago
The Use of Functional and Logic Languages in Machine Learning
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
Peter A. Flach