2453 search results - page 238 / 491 » Design Knowledge Collection by Modeling |
144
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
202
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
155
click to vote
SOFSEM
2004
Springer
15 years 12 months ago
2004
Springer
Ontology learning from texts has recently been proposed as a new technology helping ontology designers in the modelling process. Discovery of non–taxonomic relations is understoo...
166
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
We describe a user interface for wireless information devices, specifically designed to facilitate learning about users’ individual interests in daily news stories. User feedbac...
180
Voted
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
In this paper 1 we describe the design, implementation and evaluation of a software framework that supports the development of mobile, context-aware trails-based applications. A t...