1128 search results - page 156 / 226 » Classical Natural Deduction |
84
Voted
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
The recent proliferation of crowd computing initiatives on the web calls for smarter methodologies and tools to annotate, query and explore repositories. There is the need for scal...
99
Voted
HUC
2009
Springer
15 years 5 months ago
2009
Springer
This paper explores the nature of interfaces to support people in accessing their files at tabletop displays embedded in the environment. To do this, we designed a study comparin...
119
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
105
click to vote
WINE
2009
Springer
15 years 5 months ago
2009
Springer
We consider the complexity of decision making with regards to predatory pricing in multimarket oligopoly models. Specifically, we present multimarket extensions of the classical s...
81
Voted
AVBPA
2001
Springer
15 years 5 months ago
2001
Springer
We present an approach for visual discrimination of children from adults in video using characteristic regularities present in their locomotion patterns. The framework employs comp...