883 search results - page 117 / 177 » The Semantics of Verilog Using Transition System Combinators |
UIST
1999
ACM
14 years 1 months ago
1999
ACM
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
SSDBM
1998
IEEE
14 years 1 months ago
1998
IEEE
In this demonstration, we show three interrelated tools intended to improve different aspects of the quality of data warehouse solutions. Firstly, the deductive object manager Con...
DEXA
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we address a novel method of Web query expansion by using WordNet and TSN. WordNet is an online lexical dictionary which describes word relationships in three dimens...
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
HCI
2009
13 years 6 months ago
2009
This paper will look at the human predisposition to oral tradition and its effectiveness as a learning tool to convey mission-critical information. After exploring the effectivenes...