Sciweavers

4218 search results - page 214 / 844
» Complete sets of cooperations
Sort
View
120
Voted
TWC
2010
14 years 7 months ago
Stability analysis for cognitive radio with multi-access primary transmission
Abstract--This letter analyzes the impact, from a networklayer perspective, of having a single cognitive radio transmitterreceiver pair share the spectrum with multiple primary use...
Ioannis Krikidis, Natasha Devroye, John S. Thompso...
176
Voted
CLIMA
2011
14 years 15 days ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
102
Voted
SIGUCCS
2000
ACM
15 years 5 months ago
Designing the "IT Degree" for Student Employees
Academic Technology Services at the University of Rochester is in the process of revamping its student staff training program. This is in an effort to provide top-notch customer s...
Lisa Tanger-Brown, Janak Gada
91
Voted
VRST
1997
ACM
15 years 4 months ago
View volume culling using a probabilistic caching scheme
This paper describes a new algorithm for view volume culling. During an interactive walkthrough of a 3D scene, at any moment a large proportion of objects will be outside of the v...
Mel Slater, Yiorgos Chrysanthou
85
Voted
CP
2006
Springer
15 years 4 months ago
Approximability of Integer Programming with Generalised Constraints
We study a family of problems, called Maximum Solution, where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variables subjec...
Peter Jonsson, Fredrik Kuivinen, Gustav Nordh