4761 search results - page 584 / 953 » Components, Frameworks, Patterns |
163
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Graph based semi-supervised learning methods (SSL) implicitly assume that the intrinsic geometry of the data points can be fully specified by an Euclidean distance based local ne...
213
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Effective resource management for distributed real-time embedded (DRE) systems is hard due to their unique characteristics, including (1) constraints in multiple resources and (2)...
188
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
177
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
The integration of different wireless access technologies combined with the huge characteristic diversity of supported services in next-generation systems creates a real heterogen...
172
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The emergence of future pervasive ICT environments, characterized by the massive proliferation of embedded electronic devices with communication and computing capabilit...