Result 1 to 20 of 1920 total
An improved axiomatic definition of information granulation. (English)
Fundam. Inform. 120, No. 1, 93-109 (2012).
1
Elementary yet precise worst-case analysis of Floyd’s heap-construction program. (English)
Fundam. Inform. 120, No. 1, 75-92 (2012).
2
Sheng Yu (1950‒2012) in memoriam. (English)
Fundam. Inform. 120, No. 1, 71-74 (2012).
3
Reversible data hiding scheme based on image inpainting. (English)
Fundam. Inform. 120, No. 1, 59-70 (2012).
4
CRN elimination and substitution bases for complexity classes. (English)
Fundam. Inform. 120, No. 1, 29-58 (2012).
5
Enumeration and leader election in partially anonymous and multi-hop broadcast networks. (English)
Fundam. Inform. 120, No. 1, 1-27 (2012).
6
Rough set based reasoning about changes. (English)
Fundam. Inform. 119, No. 3-4, 421-437 (2012).
7
Machine learning for traffic prediction. (English)
Fundam. Inform. 119, No. 3-4, 407-420 (2012).
8
An improved construction of deterministic Omega-automaton using derivatives. (English)
Fundam. Inform. 119, No. 3-4, 393-406 (2012).
9
Towards SAT-based BMC for LTLK over interleaved interpreted systems. (English)
Fundam. Inform. 119, No. 3-4, 373-392 (2012).
10
Unifying equivalences for higher dimensional automata. (English)
Fundam. Inform. 119, No. 3-4, 357-372 (2012).
11
Update propagator for joint scalable storage. (English)
Fundam. Inform. 119, No. 3-4, 337-355 (2012).
12
Unsupervised similarity learning from textual data. (English)
Fundam. Inform. 119, No. 3-4, 319-336 (2012).
13
On graded nearness of sets. (English)
Fundam. Inform. 119, No. 3-4, 301-317 (2012).
14
Improving reachability analysis of infinite state systems by specialization. (English)
Fundam. Inform. 119, No. 3-4, 281-300 (2012).
15
Exclusive access to resources in distributed shared memory architecture. (English)
Fundam. Inform. 119, No. 3-4, 265-280 (2012).
16
The equivalence of reduction and translation semantics of Java simple closures. (English)
Fundam. Inform. 119, No. 3-4, 249-264 (2012).
17
Dynamic programming approach for partial decision rule optimization. (English)
Fundam. Inform. 119, No. 3-4, 233-248 (2012).
18
Special issue: Concurrency specification and programming (CS\&P). Selected papers based on the presentations at the workshop, Pułtusk, Poland, September 28‒30, 2011. (English)
Fundam. Inform. 119, No. 3-4, i-ii, 233-437 (2012).
19
Set-theoretic approaches to granular computing. (English)
Fundam. Inform. 115, No. 2-3, 247-264 (2012).
20
Result 1 to 20 of 1920 total
Start
Contact
Print
General Help
