Sciweavers

10908 search results - page 2078 / 2182
» Requirements Engineering Tasks
Sort
View
IJNSEC
2008
96views more  IJNSEC 2008»
15 years 4 months ago
Eliminating Quadratic Slowdown in Two-Prime RSA Function Sharing
The nature of the RSA public modulus N as a composite of at least two secret large primes was always considered as a major obstacle facing the RSA function sharing without the hel...
Maged Hamada Ibrahim
IJRR
2008
109views more  IJRR 2008»
15 years 4 months ago
Robotic Grasping of Novel Objects using Vision
We consider the problem of grasping novel objects, specifically ones that are being seen for the first time through vision. Grasping a previously unknown object, one for which a 3...
Ashutosh Saxena, Justin Driemeyer, Andrew Y. Ng
IDA
2006
Springer
15 years 4 months ago
Backward chaining rule induction
Exploring the vast number of possible feature interactions in domains such as gene expression microarray data is an onerous task. We describe Backward-Chaining Rule Induction (BCR...
Douglas H. Fisher, Mary E. Edgerton, Zhihua Chen, ...
INTERNET
2008
175views more  INTERNET 2008»
15 years 4 months ago
Mashing Up Search Services
through suitable abstractions and tools is a viable option for improving servicebased computations. T he past few years have witnessed end users' increasing involve ment in th...
Daniele Braga, Stefano Ceri, Florian Daniel, David...
IJFCS
2006
110views more  IJFCS 2006»
15 years 4 months ago
Sat-based Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
Fang Yu, Bow-Yaw Wang
« Prev « First page 2078 / 2182 Last » Next »