2251 search results - page 383 / 451 » Specification and Implementation Problems for C |
131
Voted
PR
2008
15 years 3 months ago
2008
The "bag-of-frames" approach (BOF) to audio pattern recognition models signals as the long-term statistical distribution of their local spectral features, a prototypical...
148
Voted
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
160
click to vote
JIPS
2007
15 years 3 months ago
2007
: The use of agent paradigm in today’s applications is hampered by the security concerns of agents and hosts alike. The agents require the presence of a secure and trusted execut...
163
Voted
ASE
2004
15 years 3 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
133
click to vote
TON
2010
14 years 10 months ago
2010
Abstract--A framework for designing feedback-based scheduling algorithms is proposed for elegantly solving the notorious packet missequencing problem of a load-balanced switch. Unl...