2776 search results - page 491 / 556 » System-Level Abstraction Semantics |
WSC
2004
13 years 10 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
PUK
2003
13 years 10 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
SPLST
2003
13 years 10 months ago
2003
Abstract. Nowadays one of the most common formats for storing information is XML. The size of XML documents can be rather large, and they may contain redundant attributes which can...
TREC
2003
13 years 10 months ago
2003
Abstract. We present the results of UMBC’s participation in the Web and Novelty tracks. We explored various heuristics-based link analysis approaches to the Topic Distillation ta...
AAAI
1994
13 years 10 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...