1742 search results - page 333 / 349 » An Applicative Module Calculus |
190
Voted
KCAP
2005
ACM
16 years 8 days ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
234
Voted
ARCS
2005
Springer
16 years 8 days ago
2005
Springer
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
210
Voted
MM
2004
ACM
16 years 4 days ago
2004
ACM
Security of multimedia files attracts more and more attention and many encryption methods have been proposed in literature. However most cryptographic systems deal with multimedia...
163
click to vote
CCS
2004
ACM
16 years 3 days ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
186
Voted
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...