3040 search results - page 123 / 608 » Independent Natural Extension |
FCT
2007
Springer
14 years 3 months ago
2007
Springer
We present new combinatorial approximation algorithms for k-set cover. Previous approaches are based on extending the greedy algorithm by efficiently handling small sets. The new a...
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
BSN
2006
IEEE
14 years 3 months ago
2006
IEEE
To accurately capture clinically relevant episodes with Body Sensor Networks (BSNs), multi-sensor fusion is essential for extracting intrinsic physiological and contextual informa...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
TMRA
2005
Springer
14 years 2 months ago
2005
Springer
This paper describes TM/XML, an XML syntax for Topic Maps that is very close to the natural, or colloquial, XML representation of the information in the topic map. It can be used t...