6279 search results - page 368 / 1256 » Objects as session-typed processes |
171
click to vote
ISWC
2000
IEEE
15 years 11 months ago
2000
IEEE
Implicit human computer interaction is based on the concept of using user activity in the real world as input to computers. Implicit HCI can help to reduce the problem of user inp...
181
click to vote
ECOOPW
1994
Springer
15 years 11 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
170
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
152
click to vote
BMVC
2001
15 years 9 months ago
2001
This paper describes an estimation and representation method for object structure in 3D image data. A windowed Fourier transform is used to estimate the parameters of 3D local str...
172
click to vote
CLA
2007
15 years 8 months ago
2007
This paper presents an approach to Concept Analysis of structured, multivalued and incomplete data currently present in life science knowledge bases. We are concerned with tree str...