12774 search results - page 2219 / 2555 » A Framework for Proof Systems |
172
Voted
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a research project concentrating on improving requirements management. We started this research by identifying the problems companies face with respect to req...
194
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, a generic rule induction framework based on trajectory series analysis is proposed to learn the event rules. First the trajectories acquired by a tracking system ar...
184
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. Moving object environments are characterized by large numbers of objects continuously sending location updates. At times, data arrival rates may spike up, causing the loa...
160
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to reduction in device feature size and supply voltage, the sensitivity to radiation induced transient faults (soft errors) of digital systems increases dramatically. Intensiv...
198
click to vote
ESCIENCE
2007
IEEE
16 years 1 months ago
2007
IEEE
One of the objectives of e-Research is to help scientists to accomplish their research, including scientific experiments, more effectively and efficiently. Web services provide ...