1445 search results - page 189 / 289 » Properties of state spaces and their applications |
160
click to vote
IJFCS
2007
15 years 6 months ago
2007
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and...
169
click to vote
HYBRID
2010
Springer
16 years 26 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
152
click to vote
ICALP
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
148
click to vote
IH
2007
Springer
16 years 15 days ago
2007
Springer
The recent decade has seen the emergence of 3D meshes in industrial, medical and entertainment applications. Therefore, their intellectual property protection problem has attracted...
186
click to vote
VLDB
2007
ACM
16 years 14 days ago
2007
ACM
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. Performance and scalability issues are becoming increasingly pressing as Semantic Web...