5499 search results - page 386 / 1100 » Generalized Rewrite Theories |
152
click to vote
COLING
1996
15 years 9 months ago
1996
Little notice has been taken of punctuation in the field of natural language processing, chiefly due to the lack of any coherent theory on which to base implementations. Some work...
192
click to vote
BCSHCI
2008
15 years 8 months ago
2008
This workshop re-opens the discussion of the challenges faced by academia when preparing students to take jobs in industry. The workshop’s goal is to develop a framework by whic...
195
click to vote
BCSHCI
2009
15 years 8 months ago
2009
In this paper, we describe three key areas in the literature where sketching has been seen as being beneficial to designers. We applied this knowledge in the user interface design...
203
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
174
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...