Sciweavers

451 search results - page 45 / 91
» What Is a Conversation Policy
Sort
View
WCE
2007
13 years 11 months ago
Anisotropic Imaging Of Tumours Using Elastic Wave Signals
—In this short paper we show how one may extract elastic properties of materials by probing it with elastic waves and processing the signal that returns (i.e. the scattered waves...
Clifford J. Nolan, Niall Ryan
LISP
2008
101views more  LISP 2008»
13 years 10 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
JOLLI
2006
76views more  JOLLI 2006»
13 years 10 months ago
A Modal Interpretation of the Logic of Interrogation
We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniq...
Rani Nelken, Chung-chieh Shan
CIKM
2010
Springer
13 years 8 months ago
Identifying hotspots on the real-time web
We study the problem of automatically identifying“hotspots” on the real-time web. Concretely, we propose to identify highly-dynamic ad-hoc collections of users – what we ref...
Krishna Yeswanth Kamath, James Caverlee
OL
2010
104views more  OL 2010»
13 years 8 months ago
On representations of the feasible set in convex optimization
We consider the convex optimization problem minx{f(x) : gj(x) ≤ 0, j = 1, . . . , m} where f is convex, the feasible set K is convex and Slater’s condition holds, but the funct...
Jean B. Lasserre