Sciweavers

4324 search results - page 549 / 865
» A Generalized Representer Theorem
Sort
View
ENTCS
2007
130views more  ENTCS 2007»
15 years 6 months ago
Specify, Compile, Run: Hardware from PSL
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
Roderick Bloem, Stefan Galler, Barbara Jobstmann, ...
MSS
2008
IEEE
82views Hardware» more  MSS 2008»
15 years 6 months ago
Revealed preference and indifferent selection
It is shown that preferences can be constructed from observed choice behavior in a way that is robust to indifferent selection (i.e., the agent is indifferent between two alternat...
Eric Danan
MST
2008
155views more  MST 2008»
15 years 6 months ago
On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables
Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the co...
Manfred Droste, Paul Gastin
KI
2006
Springer
15 years 6 months ago
A New n-ary Existential Quantifier in Description Logics
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
SIAMCO
2008
161views more  SIAMCO 2008»
15 years 6 months ago
Controllability and Observability of Second Order Descriptor Systems
We analyze controllability and observability conditions for second order descriptor systems and show how the classical conditions for first order systems can be generalized to this...
Philip Losse, Volker Mehrmann