524 search results - page 83 / 105 » A search engine for natural language applications |
88
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Using the application programming interfaces (API) of large software systems requires developers to understand details about the interfaces that are often not explicitly defined. ...
72
Voted
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
133
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
114
click to vote
FASE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...