246 search results - page 24 / 50 » A novel approach to symbolic algebra |
ASYNC
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
GI
2005
Springer
15 years 3 months ago
2005
Springer
: We present a novel symbolic approach to extract domain-specific technical features of products from large German corpora. Our prototypical implementation extracts terms like “A...
90
Voted
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
– In this paper, a partial sphere decoding approach is proposed to reduce the computational complexity of implementing the iterative MAP receiver for spatial multiplexing system,...
85
Voted
ENTCS
2008
14 years 9 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
81
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...