1498 search results - page 271 / 300 » Description logic for coalitions |
ECIS
2003
14 years 11 months ago
2003
In this study we explore the concept of business model and its essential elements in software business. There are no rigorous previous definitions or descriptions of the term busi...
INTERACT
2003
14 years 11 months ago
2003
: Interacting with video content can be very time-consuming, and solutions are needed to support people in the process of browsing a video so that they can efficiently interact wit...
AAAI
1997
14 years 11 months ago
1997
Tools for mining information from data can create added value for the Internet. As the majority of electronic documents available over the network are in unstructured textual form...
COLING
1996
14 years 11 months ago
1996
We describe a bidirectional framework for natural language parsing and generation, using a typedfeatureformalismand an HPSG-based grammar with a parser and generator derived from ...
103
click to vote
TPCD
1994
14 years 11 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...