4631 search results - page 809 / 927 » Experiences with an Environment Generation System |
138
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
108
click to vote
ICIW
2009
IEEE
15 years 11 months ago
2009
IEEE
Security of web servers has become a sensitive subject today. Prediction of normal and abnormal request is problematic due to large number of false alarms in many anomaly based In...
144
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper discusses the non-grasp dynamic manipulation of a deformable object inspired by the handling mechanism of pizza master. The master handles a tool where a pla...
108
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
161
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
Understanding query reformulation patterns is a key step towards next generation web search engines: it can help improving users’ web-search experience by predicting their inten...