4047 search results - page 309 / 810 » Some Properties and Some Problems on Set Functors |
202
click to vote
DIS
2003
Springer
15 years 11 months ago
2003
Springer
We propose a method of using clustering techniques to partition a set of orders. We define the term order as a sequence of objects that are sorted according to some property, such...
150
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
: The paper describes a mobile application for traffic telematics, based on the Jini middleware. The application is realized as a set of user-level services, characterized by follo...
185
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
152
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
We describe a case study in which experimental collaboration technologies were used for over two years in the real, ongoing work process of intellectual property management (IPM) ...
175
click to vote
ICPP
1993
IEEE
15 years 10 months ago
1993
IEEE
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...