11963 search results - page 376 / 2393 » A framework for linguistic modelling |
214
click to vote
WORDS
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
184
click to vote
SCALESPACE
2005
Springer
16 years 9 days ago
2005
Springer
Exploration of information content of features that are present in images has led to the development of several reconstruction algorithms. These algorithms aim for a reconstruction...
167
click to vote
CIKM
2004
Springer
16 years 7 days ago
2004
Springer
Mining massive temporal data streams for significant trends, emerging buzz, and unusually high or low activity is an important problem with several commercial applications. In th...
182
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Resource discovery is a problem common to almost all distributed systems. Instead of resulting in a one or a small number of discovery mechanisms, completely different and incompa...
170
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...