4940 search results - page 690 / 988 » On the Complexity of Universal Programs |
181
click to vote
IJSSOE
2010
15 years 3 months ago
2010
One of the main obstacles to the adoption of Wireless Sensor Networks (WSNs) outside the research community is the lack of high level mechanisms to easily program them. This probl...
186
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
214
click to vote
TCSV
2010
15 years 1 months ago
2010
We propose a novel successive convex matching method for human action detection in cluttered video. Human actions are represented as sequences of poses, and specific actions are de...
174
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
211
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
— The problem of placing an arbitrary subset (m) of the (n) closed loop eigenvalues of a nth order continuous time single input linear time invariant(LTI) system, using full stat...