2602 search results - page 318 / 521 » Semantic Analysis of 'to' |
207
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
166
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
163
click to vote
APSEC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
193
click to vote
JCDL
2006
ACM
16 years 17 days ago
2006
ACM
We propose a new method that enhances automatic keyphrase extraction by using semantic information on terms and phrases gleaned from a domain-specific thesaurus. We evaluate the r...
160
click to vote
ICMCS
2005
IEEE
16 years 6 days ago
2005
IEEE
A user-oriented multimodal interface (MMI) framework is proposed. Considering the complexities of media connotations and uncertainties of the user’s demands, content-based retri...