4163 search results - page 1 / 833 » A comprehensive combination framework |
83
Voted
TOCL
2008
14 years 10 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
117
Voted
DAIS
2008
14 years 11 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
113
Voted
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
The Video Tool Library (VTL) is one of the major normative components of the Reconfigurable Video Coding (RVC) standard. It specifies the set of functional units (FUs) that may be...
64
Voted
NSDI
2007
15 years 15 days ago
2007
Modern Internet systems often combine different applications (e.g., DNS, web, and database), span different administrative domains, and function in the context of network mechanis...