Sciweavers

31686 search results - page 365 / 6338
» Resource typing in Guru
Sort
View
IJCAI
2007
15 years 7 months ago
Coalitional Bargaining with Agent Type Uncertainty
Coalition formation is a problem of great interest in AI, allowing groups of autonomous, individually rational agents to form stable teams. Automating the negotiations underlying ...
Georgios Chalkiadakis, Craig Boutilier
INTERACT
2007
15 years 7 months ago
A Comparison of Navigation Techniques Across Different Types of Off-Screen Navigation Tasks
In many systems such as PDAs, users access data through a limited viewport. This means that users have to frequently navigate to regions that are off-screen to view important conte...
Grant Partridge, Mahtab Nezhadasl, Pourang Irani, ...
OPODIS
2008
15 years 7 months ago
Power-Aware Real-Time Scheduling upon Dual CPU Type Multiprocessor Platforms
Abstract Nowadays, most of the energy-aware real-time scheduling algorithms belong to the DVFS (Dynamic Voltage and Frequency Scaling) framework. These DVFS algorithms are usually ...
Joël Goossens, Dragomir Milojevic, Vincent N&...
BDA
2006
15 years 7 months ago
Capturing well typed references in DTDs
Surprisingly enough, there has been few investigations for typing references of semistructured data and XML documents. This paper build on a previous proposal [7] introducing simp...
Nicole Bidoit, Dario Colazzo
DIMVA
2006
15 years 7 months ago
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Kar...