624 search results - page 85 / 125 » The Complexity of Type Analysis of Object Oriented Programs |
CADE
2006
Springer
14 years 8 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
Reliable recognition of objects is an important capabaility in the progress towards getting agents to accomplish and assist in a variety of useful tasks such as search and rescue ...
PAMI
2006
13 years 7 months ago
2006
Real-world action recognition applications require the development of systems which are fast, can handle a large variety of actions without a priori knowledge of the type of actio...
ISMIS
1999
Springer
14 years 2 days ago
1999
Springer
Knowledge Discovery in Databases (KDD) is a data analysis process which, in contrast to conventional data analysis, automatically generates and evaluates very many hypotheses, deal...