2203 search results - page 335 / 441 » Temporal Abstract Interpretation |
137
Voted
CICLING
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
147
Voted
EKAW
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
147
Voted
GCB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract: We report on a model for the interaction of chimeric melanocortin Gprotein coupled receptors with peptide ligands using the rough set approach. Rough sets generate If-The...
111
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
129
Voted
LCPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...