376 search results - page 27 / 76 » Developing Theories of Types and Computability via Realizabi... |
ICASSP
2009
IEEE
13 years 5 months ago
2009
IEEE
Recently, the covariance region descriptor [1] has been proved robust and versatile for a modest computational cost. It enables efficient fusion of different types of features. Ba...
IJAC
2010
13 years 4 months ago
2010
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
EUROCAST
2001
Springer
14 years 1 days ago
2001
Springer
CAST.FSM denotes a CAST tool which has been developed at the Institute of Systems Science at the University of Linz during the years 1986-1993. The first version of CAST.FSM was i...
MHCI
2009
Springer
14 years 3 days ago
2009
Springer
In this paper, we describe the Smart Profile Management application that was designed to help minimize mobile phone disruptions. The system does this by making phone profile chang...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
This poster describes an integrated set of stories and story-based activities that we have used in product development in IBM Software Group's Lotus product organizations. We...