2451 search results - page 15 / 491 » The Octagon Abstract Domain |
124
click to vote
TMI
2002
15 years 5 months ago
2002
Abstract--Reconstruction-based microwave-induced thermoacoustic tomography in a spherical configuration is presented. Thermoacoustic waves from biological tissue samples excited by...
170
click to vote
IDEAL
2010
Springer
15 years 3 months ago
2010
Springer
Automated Planning is a very active area of research within Artificial Intelligence. Broadly this discipline deals with the methods by which an agent can independently determine t...
175
click to vote
ESWS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Controlled vocabularies of various kinds (e.g., thesauri, classification schemes) play an integral part in making Cultural Heritage collections accessible. The various in...
199
click to vote
ICOST
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. Recently researchers have proposed activity recognition methods based on adapting activity knowledge obtained in previous spaces to a new space. Adapting activity knowled...
173
click to vote
SAS
1995
Springer
15 years 9 months ago
1995
Springer
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...