9387 search results - page 1653 / 1878 » An Optimal Process Model for a Real Time Process |
133
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
Tumor segmentation from MRI data is an important but time consuming task performed manually by medical experts. Automating this process is challenging due to the high diversity in...
119
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
173
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
A commodity I/O device has no support for virtualization. A VMM can assign such a device to a single guest with direct, fast, but insecure access by the guest's native device...
156
click to vote
IAT
2009
IEEE
15 years 11 months ago
2009
IEEE
—We describe the design of an autonomous agent that can teach itself how to translate from a foreign language, by first assembling its own training set, then using it to improve...
139
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Search and recommendation systems must include contextual information to effectively model users’ interests. In this paper, we present a systematic study of the effectiveness of...