4917 search results - page 270 / 984 » Software Engineering is Not Computer Science |
117
Voted
UIST
1997
ACM
15 years 7 months ago
1997
ACM
This TechNote reports on our initial results of realizing a computer augmented wall called the HoloWall. Using an infrared camera located behind the wall, this system allows a use...
117
click to vote
FSTTCS
1994
Springer
15 years 7 months ago
1994
Springer
We review the past ten years in computational complexity theory by focusing on ten theorems that the author enjoyed the most. We use each of the theorems as a springboard to discus...
109
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
The recent proliferation of computing technology has brought added interest to natural I/O interface technologies such as speech recognition. Unfortunately, the computational and ...
136
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
161
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
A software defined radio (SDR) receiver architecture is proposed in this paper for ultra-wideband (UWB) applications. Both UWB data communication and positioning functions are imp...