Sciweavers

1242 search results - page 180 / 249
» The Theory of Grammar Constraints
Sort
View
92
Voted
PUC
2008
99views more  PUC 2008»
15 years 5 days ago
An empirical investigation of mobile ticketing service adoption in public transportation
In this paper, we present results from a study of mobile ticketing service adoption in public transportation. The theoretical background of the study is based on technology adoptio...
Niina Mallat, Matti Rossi, Virpi Kristiina Tuunain...
109
Voted
LICS
2010
IEEE
14 years 11 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
84
Voted
SIAMDM
2010
117views more  SIAMDM 2010»
14 years 11 months ago
Design is as Easy as Optimization
We consider the class of max-min and min-max optimization problems subject to a global budget (or weight) constraint and we undertake a systematic algorithmic and complexitytheore...
Deeparnab Chakrabarty, Aranyak Mehta, Vijay V. Vaz...
FOMI
2009
14 years 10 months ago
Modular Ontologies for Architectural Design
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
Joana Hois, Mehul Bhatt, Oliver Kutz
113
Voted
ICIP
2009
IEEE
14 years 10 months ago
Task-oriented camera assignment in a video network
Camera assignment and hand-off are some of the key image processing problems in a video network. In this paper, we propose a new approach for camera assignment and handoff in a vi...
Yiming Li, Bir Bhanu