Sciweavers

1416 search results - page 53 / 284
» An Exact Interpretation of While
Sort
View
JOLLI
2011
90views more  JOLLI 2011»
13 years 4 months ago
The Displacement Calculus
We define and study a calculus of discontinuity, a version of displacement calculus, which is a logic of segmented strings in exactly the same sense that the Lambek calculus is a ...
Glyn Morrill, Oriol Valentín, Mario Fadda
SIGDIAL
2010
13 years 4 months ago
I've said it before, and I'll say it again: An empirical investigation of the upper bound of the selection approach to dialogue
We perform a study of existing dialogue corpora to establish the theoretical maximum performance of the selection approach to simulating human dialogue behavior in unseen dialogue...
Sudeep Gandhe, David R. Traum
ICDE
2007
IEEE
337views Database» more  ICDE 2007»
14 years 11 months ago
The New Casper: A Privacy-Aware Location-Based Database Server
This demo presents Casper; a framework in which users entertain anonymous location-based services. Casper consists of two main components; the location anonymizer that blurs the u...
Mohamed F. Mokbel, Chi-Yin Chow, Walid G. Aref
CORR
2011
Springer
150views Education» more  CORR 2011»
13 years 5 months ago
Total variation regularization for fMRI-based prediction of behaviour
—While medical imaging typically provides massive amounts of data, the extraction of relevant information for predictive diagnosis remains a difficult challenge. Functional MRI ...
Vincent Michel, Alexandre Gramfort, Gaël Varo...
ISSAC
2005
Springer
119views Mathematics» more  ISSAC 2005»
14 years 3 months ago
Computing the multiplicity structure in solving polynomial systems
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
Barry H. Dayton, Zhonggang Zeng