Sciweavers

1569 search results - page 293 / 314
» Automated Design Improvement by Example
Sort
View
NAR
2002
125views more  NAR 2002»
13 years 7 months ago
ASTRAL compendium enhancements
The ASTRAL compendium provides several databases and tools to aid in the analysis of protein structures, particularly through the use of their sequences. It is partially derived f...
John-Marc Chandonia, Nigel S. Walker, Loredana Lo ...
ACL
2009
13 years 5 months ago
Sentence diagram generation using dependency parsing
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...
Elijah Mayfield
ICPR
2006
IEEE
14 years 8 months ago
Boosted Gabor Features Applied to Vehicle Detection
Robust vehicle detection is a challenging task given vehicles with different types, and sizes, and at different distances. This paper proposes a Boosted Gabor Features (BGF) appro...
Chong Sun, Hong Cheng, Nanning Zheng
SIGSOFT
2007
ACM
14 years 8 months ago
SLEDE: lightweight verification of sensor network security protocol implementations
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
Youssef Hanna
ICSE
2007
IEEE-ACM
14 years 7 months ago
A Future for Software Engineering?
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the researc...
Leon J. Osterweil