1463 search results - page 40 / 293 » The State of the Art in Language Modeling |
IFM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
137
click to vote
ICOIN
2005
Springer
15 years 3 months ago
2005
Springer
Network Forensics is an important extension to the model of network security where emphasis is traditionally put on prevention and to a lesser extent on detection. It focuses on th...
CCE
2005
14 years 9 months ago
2005
A large body of work exists in process industry supply chain optimisation. We describe the state of the art of research in infrastructure design, modelling and analysis and planni...
CORR
2010
Springer
14 years 4 months ago
2010
Springer
A scattering vector is a local descriptor including multiscale and multi-direction co-occurrence information. It is computed with a cascade of wavelet decompositions and complex m...
VALUETOOLS
2006
ACM
15 years 3 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...