12774 search results - page 2426 / 2555 » A Framework for Proof Systems |
205
click to vote
ICCS
2007
Springer
16 years 20 days ago
2007
Springer
We present a Dynamic Data Driven Application System (DDDAS) to track 2D shapes across large pose variations by learning non-linear shape manifold as overlapping, piecewise linear s...
138
click to vote
IWANN
2007
Springer
16 years 19 days ago
2007
Springer
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
155
click to vote
POLICY
2007
Springer
16 years 18 days ago
2007
Springer
We present a discretionary access control framework that can be used to control a principal’s ability to link information from two or more audit records and compromise a user’...
143
click to vote
VMCAI
2007
Springer
16 years 18 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
174
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
Recently, mobile TV is becoming a mainstream service in mobile broadcasting scenario, where requires lots of mobile factors such as robust transmission, high performance and easy ...