2451 search results - page 427 / 491 » The Octagon Abstract Domain |
197
click to vote
AI
2011
Springer
15 years 17 days 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. ...
194
click to vote
ACCV
2010
Springer
15 years 17 days 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...
169
click to vote
ADVSE
2010
15 years 17 days 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...
183
click to vote
CSMR
2010
IEEE
15 years 15 days 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...
168
click to vote
JSAC
2011
15 years 15 days 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.,...