2800 search results - page 187 / 560 » Fibrational Control Structures |
110
click to vote
COLING
2010
14 years 11 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
112
click to vote
TOMS
2011
14 years 11 months ago
2011
We present a new supernode-based incomplete LU factorization method to construct a preconditioner for solving sparse linear systems with iterative methods. The new algorithm is pr...
111
click to vote
JLP
2010
14 years 11 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
160
click to vote
TNN
2010
14 years 11 months ago
2010
This paper provides a comprehensive framework for the state space approach to Boolean networks. First, it surveys the authors' recent work on the topic: Using semitensor produ...
239
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Beamformers are known to be sensitive to errors and mismatches in their array elements. This paper proposes a robust steerable broadband beamformer design using the Farrow structu...