Sciweavers

3025 search results - page 226 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
150
Voted
IUI
2009
ACM
16 years 17 days ago
End-user programming of mashups with vegemite
Mashups are an increasingly popular way to integrate data from multiple web sites to fit a particular need, but it often requires substantial technical expertise to create them. T...
James Lin, Jeffrey Wong, Jeffrey Nichols, Allen Cy...
147
Voted
JSC
2010
106views more  JSC 2010»
15 years 2 months ago
Verifying pointer safety for programs with unknown calls
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
Chenguang Luo, Florin Craciun, Shengchao Qin, Guan...
145
Voted
NDSS
2008
IEEE
15 years 10 months ago
Impeding Malware Analysis Using Conditional Code Obfuscation
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
Monirul I. Sharif, Andrea Lanzi, Jonathon T. Giffi...
155
Voted
BIOCOMP
2009
15 years 4 months ago
Improving Remote Homology Detection Using Sequence Properties and Position Specific Scoring Matrices
Current biological sequence comparison tools frequently fail to recognize matches between homologs when sequence similarity is below the twilight zone of less than 25% sequence id...
Gina Cooper, Michael L. Raymer
125
Voted
ISSRE
2008
IEEE
15 years 10 months ago
Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
Prasanth Anbalagan, Tao Xie