1454 search results - page 182 / 291 » Stateful traits and their formalization |
204
click to vote
SEMWIKI
2008
15 years 8 months ago
2008
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
146
click to vote
SOCRATES
2008
15 years 8 months ago
2008
In Fall 2007, Utah State University professor David Wiley held a course about Open Education. That time Dr Wiley's course was followed by an unusual group of students. The Fa...
183
click to vote
FLAIRS
2006
15 years 8 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
182
click to vote
FLAIRS
2003
15 years 8 months ago
2003
Current rule base maintenance is wasting refinement and inference performance. There are only few maintenance concepts, which enjoy both (1) formal rule refinement and (2) utili...
189
click to vote
PUK
2001
15 years 8 months ago
2001
Urban design is a creative task that demands the balancing of issues from multiple domains such as architecture, zoning laws, traffic planning, and others. As such, classic design ...