Fundamenta Informaticae - Tom Vol. 119, nr 3/4 (2012) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 119, nr 3/4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2012

Identyfikatory

Zawartość wolumenu

Vol. 119, nr 3/4
- artykuł: Dynamic Programming Approach for Partial Decision Rule Optimization (Amin T., Chikalov I., Moshkov M., Zielosko B.), s. 233-248
- artykuł: The Equivalence of Reduction and Translation Semantics of Java Simple Closures (Bellia M., Occhiuto M.E.), s. 249-265
- artykuł: Exclusive Access to Resources in Distributed Shared Memory Architecture (Czaja L.), s. 265-280
- artykuł: Improving Reachability Analysis of Infinite State Systems by Specialization (Fioravanti F., Pettorossi A., Proietti M., Senni V.), s. 281-300
- artykuł: On Graded Nearness of Sets (Gomolińska A., Wolski M.), s. 301-317
- artykuł: Unsupervised Similarity Learning from Textual Data (Janusz A., Ślęzak D., Nguyen H.S.), s. 319-336
- artykuł: Update Propagator for Joint Scalable Storage (Leszczyński P., Stencel K.), s. 337-355
- artykuł: Unifying Equivalences for Higher Dimensional Automata (Oshevskaya E., Virbitskaite I., Best E.), s. 357-372
- artykuł: Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems (Penczek W., Woźna-Szcześniak B., Zbrzezny A.), s. 373-392
- artykuł: An Improved Construction of Deterministic Omega-automaton Using Derivatives (Redziejowski R.R.), s. 393-406
- artykuł: Machine Learning for Traffic Prediction (Rzeszótko J., Nguyen S.H.), s. 407-420
- artykuł: Rough Set Based Reasoning About Changes (Skowron A., Stepaniuk J., Jankowski A., Bazan J.G., Swiniarski R.), s. 421-437

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.