Sciweavers

6050 search results - page 265 / 1210
» Information In The Non-Stationary Case
Sort
View
STEP
2003
IEEE
15 years 12 months ago
Metamorphic Testing and Beyond
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan...
CISS
2008
IEEE
16 years 1 months ago
Distance vectors in Costas arrays
—We investigate the distance vectors contained in individual and in pairs of Costas arrays, and prove some rigorous results in the case of the algebraically constructed ones. Ove...
Konstantinos Drakakis, Rod Gow, Scott Rickard
LATIN
2010
Springer
15 years 8 months ago
Complexity of Operations on Cofinite Languages
We study the worst case complexity of regular operations on cofinite languages (i.e., languages whose complement is finite) and provide algorithms to compute efficiently the result...
Frédérique Bassino, Laura Giambruno,...
IPMU
2010
Springer
15 years 5 months ago
Keeping Secrets in Possibilistic Knowledge Bases with Necessity-Valued Privacy Policies
Controlled Query Evaluation (CQE) is a logical framework for the protection of secrets in databases. In this article, we extend the CQE framework to possibilistic logic: knowledge ...
Lena Wiese
ICRA
2008
IEEE
105views Robotics» more  ICRA 2008»
16 years 1 months ago
A ladybug exploration strategy for distributed adaptive coverage control
— A control strategy inspired by the hunting tactics of ladybugs is presented to simultaneously achieve sensor coverage and exploration of an area with a group of networked robot...
Mac Schwager, Francesco Bullo, David Skelly, Danie...