756 search results - page 36 / 152 » Model Order Reduction for Nonlinear IC Models |
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is mode...
TOPNOC
2010
13 years 3 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
MICCAI
2002
Springer
14 years 10 months ago
2002
Springer
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
RTA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We show that the structures of binding algebras and Σmonoids by Fiore, Plotkin and Turi are sound and complete models of Klop’s Combinatory Reduction Systems (CRSs). T...
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
We define a new reduced model to represent coloured images. We propose to use two components for a full definition of a colour instead of three. To that end we take advantage of...