2451 search results - page 427 / 491 » The Octagon Abstract Domain |
134
Voted
AI
2011
Springer
14 years 7 months ago
2011
Springer
Abstract McCarthy’s Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. ...
131
Voted
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We propose a novel method for recognition of structured images and demonstrate it on detection of windows in facade images. Given an ability to obtain local low-level dat...
112
Voted
ADVSE
2010
14 years 7 months ago
2010
Abstract. The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logi...
127
Voted
CSMR
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Concept or feature identification, i.e., the identification of the source code fragments implementing a particular feature, is a crucial task during software understandin...
116
Voted
JSAC
2011
14 years 7 months ago
2011
Abstract—The increasing demand for wireless access in vehicular environments (WAVE) supporting a wide range of applications such as traffic safety, surveying, infotainment etc.,...