799 search results - page 93 / 160 » Refinement and Separation Contexts |
ICPPW
2002
IEEE
14 years 2 months ago
2002
IEEE
OAI is designed with a low-barrier technology approach, thus allowing institutions to provide content metadata with little effort. On the other hand, search capabilities are very ...
ISCAS
2002
IEEE
14 years 2 months ago
2002
IEEE
The paper discusses State Space Blind Source Recovery (BSR) for minimum phase and non-minimum phase mixtures of gaussian and non-gaussian distributions. The State Space Natural Gr...
APSEC
2000
IEEE
14 years 2 months ago
2000
IEEE
Software engineering is no longer the preserve of individuals but is essentially a team-based activity involving a wide variety of stakeholders and thus making the need for commun...
IPPS
1993
IEEE
14 years 2 months ago
1993
IEEE
The performance of threads is limited primarily by the overhead of two kinds of switching: vertical switching (user/kernel domain switching) and horizontal switching (context swit...
POPL
1993
ACM
14 years 2 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...