Sciweavers

13534 search results - page 2609 / 2707
» Modelling Human-Computer Interaction
Sort
View
141
Voted
KI
2012
Springer
13 years 9 months ago
Agreeing on Role Adoption in Open Organisations
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
Huib Aldewereld, Virginia Dignum, Catholijn M. Jon...
157
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 9 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
284
Voted

Book
9504views
16 years 12 months ago
The OpenGL Programming Guide - The Redbook
"The OpenGL Programming Guide, Fifth Edition, provides definitive and comprehensive information on OpenGL and the OpenGL Utility Library. The previous edition covered OpenGL t...
Dave Shreiner, Mason Woo, Jackie Neider, Tom Davis
122
Voted
ICIP
2004
IEEE
16 years 3 months ago
Free viewpoint video extraction, representation, coding, and rendering
Free viewpoint video provides the possibility to freely navigate within dynamic real world video scenes by choosing arbitrary viewpoints and view directions. So far, related work ...
Aljoscha Smolic, Karsten Müller, Matthias Kau...
126
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Developing a security protocol for a distributed decision support system in a healthcare environment
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
Liang Xiao 0002, Paul H. Lewis, Alex Gibb
« Prev « First page 2609 / 2707 Last » Next »