2956 search results - page 212 / 592 » Databases and Higher Types |
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
- This paper compares two types of class E power amplifier and studies their applicability in EER (Envelope Elimination and Restoration) transmitter. In EER applications one of the...
91
Voted
AIED
2005
Springer
15 years 9 months ago
2005
Springer
We tested effects of dissuading students from requesting help unless they really needed it. The manipulation occurred while the students solved problems on an ITS that provided pro...
128
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
128
click to vote
IBPRIA
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...
99
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a new protocol for atomic broadcast in an asynchronous network with a maximal number of Byzantine failures. It guarantees both safety and liveness without maki...