709 search results - page 118 / 142 » Type Checking in XOBE |
118
click to vote
CSREASAM
2006
15 years 2 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
115
click to vote
IAAI
2003
15 years 2 months ago
2003
We have developed a sales support system for door-todoor sales of cosmetics based on a skin-image grading system called Skin-CRM (Skin Customer Relationship Management). Our Skin-...
112
click to vote
MCU
1998
15 years 2 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
104
click to vote
AES
2008
Springer
15 years 1 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...
142
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...