4255 search results - page 244 / 851 » Cover |
176
click to vote
JURIX
2007
15 years 8 months ago
2007
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...
168
click to vote
SNPD
2008
15 years 8 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
176
click to vote
CGVR
2006
15 years 8 months ago
2006
- Using the art of puppetry to create new and fascinating content is the basis of this paper. When puppetry combined with motion capture, one can create interesting work that is bo...
146
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In this paper, we describe curricular materials that use the game of Clue to teach basic concepts of propositional logic. While there are many ways of teaching concepts of logic, ...
202
click to vote
ACL
2001
15 years 8 months ago
2001
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...