5336 search results - page 196 / 1068 » Steerable part models |
JLP
2000
13 years 8 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
PSYCHNOLOGY
2010
13 years 6 months ago
2010
Viewers (N = 261) evaluated and chose avatars to represent them online. The viewers rated 92 potential avatars that were manipulated along three dimensions – sex, humanness, and...
PIMRC
2010
IEEE
13 years 6 months ago
2010
IEEE
Delay Tolerant networks (DTNs) are one type of wireless networks where the number of nodes per unit area is small and hence the connectivity between the nodes is intermittent. In t...
ECTEL
2010
Springer
13 years 5 months ago
2010
Springer
In this article we present an infrastructure for creating mash up and visual representations of the user profile that combine data from different sources. We explored this approach...
SPIN
2012
Springer
11 years 10 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...