3130 search results - page 184 / 626 » Design Correctness of Digital Systems |
143
click to vote
JASIS
2007
15 years 4 months ago
2007
sets of research abstracts that may be retrieved by a digital library or search engine in response to a user query. y dissertation abstracts were selected as the sample domain in t...
127
Voted
ICTCS
2005
Springer
15 years 9 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
119
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications [18]. To specify more powerful system...
116
Voted
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—In this paper we propose an analog VLSI approach to maximum a posteriori (MAP) detection in Multiple-Input Multiple-Output (MIMO) systems. This detector can be seen as an extens...
122
click to vote
TOG
2002
15 years 3 months ago
2002
We describe a process for compositing a live performance of an actor into a virtual set wherein the actor is consistently illuminated by the virtual environment. The Light Stage u...