1392 search results - page 163 / 279 » Dynamic Data Structure Analysis for Java Programs |
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
BIOSURVEILLANCE
2008
Springer
14 years 12 months ago
2008
Springer
Salmonella is among the most common food borne illnesses which may result from consumption of contaminated products. In this paper we model the co-occurrence data between USDA-cont...
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Shape representation is a difficult task because of several symbol distortions, such as occlusions, elastic deformations, gaps or noise. In this paper, we propose a new descriptor ...
FCT
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...