3025 search results - page 262 / 605 » Automatic Programming of Robots Using Genetic Programming |
128
Voted
ICMB
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper discusses a personalized heart monitoring system using smart phones and wireless (bio) sensors. We combine ubiquitous computing with mobile health technology to monitor...
136
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
118
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
129
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
As computers become increasingly mobile, users demand more functionality, longer battery-life, and better performance from mobile devices. In response, chipset fabricators are foc...
125
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Malware is software with malicious intent. Besides viruses and worms, spyware, adware, and other newer forms of malware have recently emerged as widely-spread threats to system se...