Sciweavers

3238 search results - page 269 / 648
» On the Computational Interpretation of Negation
Sort
View
PERVASIVE
2006
Springer
15 years 6 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
CHI
2009
ACM
15 years 4 months ago
Coordination in collective intelligence: the role of team structure and task interdependence
The success of Wikipedia has demonstrated the power of peer production in knowledge building. However, unlike many other examples of collective intelligence, tasks in Wikipedia ca...
Aniket Kittur, Bryant Lee, Robert E. Kraut
HCI
2009
15 years 4 months ago
UbiGesture: Customizing and Profiling Hand Gestures in Ubiquitous Environment
Abstract. One of the main challenges of interaction in a ubiquitous environment is the use of hand gestures for interacting with day to day applications. This interaction may be ne...
Ayman Atia, Shin Takahashi, Kazuo Misue, Jiro Tana...
ICCV
2009
IEEE
1297views Computer Vision» more  ICCV 2009»
16 years 5 months ago
Effective and Efficient Interpolation for Mutual Information based Multimodality Elastic Image Registration
Mutual information (MI) is a popular similarity metric for multimodality image registration purpose. However, it is negatively influenced by artifacts due to interpolation effec...
R. Gallea, E. Ardizzone, R. Pirrone, O. Gambino
189
Voted
DISOPT
2011
175views Education» more  DISOPT 2011»
14 years 10 months ago
Strengthening lattice-free cuts using non-negativity
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
Ricardo Fukasawa, Oktay Günlük