5200 search results - page 47 / 1040 » Symbolic models for control systems |
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
ATVA
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In some real world situations, linear models are not sufficient to represent accurately complex relations between input variables and output variables of a studied system. Multila...
AISC
2008
Springer
13 years 10 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
ECAI
1994
Springer
14 years 24 days ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...