692 search results - page 34 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
105
click to vote
IWRIDL
2006
ACM
15 years 5 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
101
click to vote
WSC
1998
15 years 1 months ago
1998
Many important characteristics of simulation models, including queuing models, can be investigated by the use of metamodels. Problems in qualitative analysis such as analyzing mod...
138
click to vote
JFPLC
2004
15 years 1 months ago
2004
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— Vehicle guidance in complex scenarios such as inner-city traffic requires an in-depth understanding of the current situation. In order to select the appropriate behavior for a...
128
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Today's file sharing networks are creating potential security problems to enterprise networks, i.e., the leakage of confidential documents. In order to prevent such ...