3804 search results - page 92 / 761 » From Here to There |
160
click to vote
ITP
2010
15 years 10 months ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
158
click to vote
CMMR
2007
Springer
16 years 14 days ago
2007
Springer
This paper discusses musical form from a cognitive and a computational viewpoint. While several time-windows exist in the brain, we here put emphasis on the superchunks of up to mo...
174
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
With the growing popularity of video sharing web sites and the increasing use of consumer-level video capture devices, new algorithms are needed for intelligent searching and inde...
180
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of finding small Golomb rulers, a hard combinatorial optimization task. This problem is here tackled by means of a hybrid evolutionary algorithm (EA). This...
146
click to vote
AAAI
1994
15 years 7 months ago
1994
The immune system offers to be a rich source of metaphors to guide the exploration of the notion of an adaptive system. We might define a class of systems which are inspired by, b...