31324 search results - page 6164 / 6265 » Compare |
153
click to vote
ESWA
2011
15 years 7 hour ago
2011
This paper presents a multi-objective optimisation model and algorithms for scheduling of radiotherapy treatments for categorised cancer patients. The model is developed considerin...
168
click to vote
IANDC
2011
15 years 6 hour ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
145
click to vote
CORR
2010
Springer
15 years 4 hour ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
141
click to vote
IJPP
2011
15 years 2 hour ago
2011
A recent development in radio astronomy is to replace traditional dishes with many small antennas. The signals are combined to form one large, virtual telescope. The enormous data ...
171
Voted
JASIS
2011
14 years 12 months ago
2011
The production of scientific knowledge has evolved from a process of inquiry largely based on the activities of individual scientists to one grounded in the collaborative efforts ...