3052 search results - page 367 / 611 » Engineers Don't Search |
ICRE
1998
IEEE
14 years 3 months ago
1998
IEEE
A safety analysis was performed on the software requirements for a family of ight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended...
COMPSAC
1997
IEEE
14 years 3 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
ISPAN
1997
IEEE
14 years 3 months ago
1997
IEEE
Abstract- String matching problem received much attention over the years due to its importance in various applications such as text/file comparison, DNA sequencing, search engines,...
CLEF
2006
Springer
14 years 2 months ago
2006
Springer
This paper describes in detail the combination of NLP methods applied to the treatment of logic forms in the topic processing and statistical methods applied to the search engine ...
GECCO
2006
Springer
14 years 2 months ago
2006
Springer
This poster paper investigates the potential of single and multiobjective genetic operators with an object-oriented conceptual design space. Using cohesion as an objective fitness...