1297 search results - page 36 / 260 » Dynamic Object Process Graphs |
121
click to vote
ICALP
1997
Springer
15 years 5 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
112
click to vote
NLDB
2007
Springer
15 years 8 months ago
2007
Springer
We intend on developing electronic dictionaries and Finite State Transducers for the automatic processing of the Albanian Language. We describe some peculiarities of this language ...
121
Voted
ICALT
2006
IEEE
15 years 8 months ago
2006
IEEE
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
124
click to vote
DMKD
2003
ACM
15 years 7 months ago
2003
ACM
An inference problem exists in a multilevel database if knowledge of some objects in the database allows information with a higher security level to be inferred. Many such inferen...
362
Voted
ACIIDS
2011
IEEE
14 years 9 months ago
2011
IEEE
While in the traditional workflow processes the control flow is determined statically within process definitions, in declarative workflow processes the control flow is dynamic and ...