210
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
322
click to vote
CADE
2011
Springer
14 years 7 months ago
2011
Springer
Android is a programming language based on Java and an operating system for embedded or mobile devices whose upper layers are written in that language. It features an extended even...
191
click to vote
BSN
2011
IEEE
14 years 7 months ago
2011
IEEE
—A progressive improvement in gait following knee arthroplasty surgery can be observed during walking and transitional activities such as sitting/standing. Accurate assessment of...
290
click to vote
BSN
2011
IEEE
14 years 7 months ago
2011
IEEE
—Wireless neural recording systems are subject to stringent power consumption constraints to support long-term recordings and to allow for implantation inside the brain. In this ...