5634 search results - page 174 / 1127 » About Abstract Classes |
146
click to vote
GLOBECOM
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract—In wireless networks, monotonic, strictly subhomogeneous functions have been used to analyze power control algorithms. We provide an alternative analysis based on the ob...
192
click to vote
LPAR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
148
click to vote
SAT
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. In this paper we study NP-hard weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds. Moreover we consider the monoton...
138
click to vote
VISSOFT
2005
IEEE
15 years 12 months ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...
170
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...