1054 search results - page 195 / 211 » Translation Validation of System Abstractions |
176
click to vote
JSAC
2006
15 years 5 months ago
2006
Abstract--In this paper, we investigate the dynamic resource allocation adapted to spread-spectrum multicarrier multiple-access (SS-MC-MA) systems in a multiuser power line communi...
174
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
162
click to vote
MICCAI
2009
Springer
16 years 6 months ago
2009
Springer
We present a novel method for the automatic detection and segmentation of (sub-)cortical gray matter structures in 3-D magnetic resonance images of the human brain. Essentially, th...
143
click to vote
IEEEARES
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Following Mark Weiser’s vision of ubiquitous computing and calm technology, computer systems should run in the background, preferably without the user noticing it at ...
165
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...