2694 search results - page 324 / 539 » A Description Logic of Change |
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
165
click to vote
NGC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
182
click to vote
IJBRA
2007
15 years 6 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
169
click to vote
JDS
2007
15 years 6 months ago
2007
Operational Risk management, the least covered component of Enterprise Wide Risk Management, needs intelligent tools to implement Comprehensive Emergency Management Programs. In t...
156
click to vote
JTAER
2007
15 years 6 months ago
2007
This article critically appraises business model challenges in implementing remote management functionalities. Remote management is believed to create new service opportunities an...