14169 search results - page 311 / 2834 » Tabular application development |
150
click to vote
JSW
2007
15 years 6 months ago
2007
—As the Internet users increase, the need to protect web servers from malicious users has become a priority in many organizations and companies. ...
177
click to vote
TWC
2008
15 years 6 months ago
2008
We develop a reduced-complexity hybrid frequency/time-domain orthogonal frequency division multiplexing (OFDM) channel estimation algorithm for high-mobility scenarios where the ch...
189
click to vote
ASE
2004
15 years 6 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
181
click to vote
JAIR
2002
15 years 6 months ago
2002
We develop, analyze, and evaluate a novel, supervised, specific-to-general learner for a simple temporal logic and use the resulting algorithm to learn visual event definitions fr...
150
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Mobile devices, like sensor networks and MEMS actuators use mobile power supplies to ensure energy for their operation. These are mostly batteries. The lifetime of the devices dep...