2664 search results - page 386 / 533 » Theory by Process |
163
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
181
click to vote
ICNP
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
148
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
The ellipse Hough transform (EHT) is a widely-used technique. Most of the previous modifications to the standard EHT improved either the voting procedure that computes the absolut...
186
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a methodology for using heuristic search methods to optimise cancer chemotherapy. Specifically, two evolutionary algorithms - Population Based Incremental Lear...
149
click to vote
CPHYSICS
2008
15 years 6 months ago
2008
In this paper, we present a short review as well as novel results on a recently established counterintuitive phenomenon of cluster aggregation of particles that interact via purel...