2702 search results - page 275 / 541 » Practically Applicable Formal Methods |
108
Voted
IJIS
2008
15 years 2 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
131
Voted
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
105
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we present an online method for POMDPs, called RTBSS (Real-Time Belief Space Search), which is based on a look-ahead search to find the best action to execute at e...
123
Voted
PR
2008
15 years 2 months ago
2008
It is generally believed that quadratic discriminant analysis (QDA) can better fit the data in practical pattern recognition applications compared to linear discriminant analysis ...
104
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...