2485 search results - page 141 / 497 » Time Bounded Frequency Computations |
126
click to vote
STACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Roughgarden and Sundararajan recently introduced an alternative measure of efficiency for cost sharing mechanisms. We study cost sharing methods for combinatorial optimiz...
146
click to vote
ENTCS
2006
15 years 5 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
267
click to vote
SOFTCOMP
2010
15 years 3 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
181
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
The ability of a sensor node to determine its physical location within a network (Localization) is of fundamental importance in sensor networks. Interpretating data from sensors i...
123
click to vote
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
There are very few approaches to measure the execution costs of lazy functional (logic) programs. The use of a lazy execution mechanism implies that the complexity of an evaluation...