Sciweavers

4218 search results - page 214 / 844
» Complete sets of cooperations
Sort
View
TWC
2010
13 years 5 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...
CLIMA
2011
12 years 10 months 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...
SIGUCCS
2000
ACM
14 years 3 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
VRST
1997
ACM
14 years 3 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
CP
2006
Springer
14 years 2 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