Sciweavers

12697 search results - page 2204 / 2540
» Call for Papers
Sort
View
153
Voted
ACSAC
2009
IEEE
15 years 8 months ago
BAF: An Efficient Publicly Verifiable Secure Audit Logging Scheme for Distributed Systems
Audit logs, providing information about the current and past states of systems, are one of the most important parts of modern computer systems. Providing security for audit logs on...
Attila Altay Yavuz, Peng Ning
146
Voted
ECOOP
2006
Springer
15 years 8 months ago
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
Tao Xie
ACISICIS
2008
IEEE
15 years 6 months ago
Efficient Projection for Compressed Sensing
Compressed sensing (CS), a joint compression and sensing process, is a emerging field of activity in which the signal is sampled and simultaneously compressed at a greatly reduced...
Vo Dinh Minh Nhat, Duc Vo, Subhash Challa, Sungyou...
166
Voted
AAAI
2004
15 years 6 months ago
Skill Acquisition and Use for a Dynamically-Balancing Soccer Robot
Dynamically-balancing robots have recently been made available by Segway LLC, in the form of the Segway RMP (Robot Mobility Platform). We have addressed the challenge of using the...
Brett Browning, Ling Xu, Manuela M. Veloso
BILDMED
2009
128views Algorithms» more  BILDMED 2009»
15 years 5 months ago
Surface-Based Respiratory Motion Classification and Verification
To ensure precise tumor irradiation in radiotherapy a stable breathing pattern is mandatory as tumors are moving due to respiratory motion. Consequentially, irregularities of respi...
Kerstin Müller, Christian Schaller, Jochen Pe...
« Prev « First page 2204 / 2540 Last » Next »