Sciweavers

11066 search results - page 334 / 2214
» Linearity in Process Languages
Sort
View
183
Voted
ENTCS
2002
90views more  ENTCS 2002»
15 years 6 months ago
A Language for Multi-dimensional Updates
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
João Alexandre Leite, José Jú...
GW
2009
Springer
131views Biometrics» more  GW 2009»
15 years 3 months ago
The Role of Iconic Gestures in Production and Comprehension of Language: Evidence from Brain and Behavior
Speakers in all cultures and ages use gestures as they speak (i.e., cospeech gestures). There have been different views in the literature with regard to whether and how a specific ...
Asli Özyürek
IFIP
2005
Springer
15 years 11 months ago
On Warm Starts for Interior Methods
An appealing feature of interior methods for linear programming is that the number of iterations required to solve a problem tends to be relatively insensitive to the choice of in...
Anders Forsgren
ENTCS
2006
154views more  ENTCS 2006»
15 years 6 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
IPM
2008
93views more  IPM 2008»
15 years 6 months ago
A new robust relevance model in the language model framework
ct 8 In this paper, a new robust relevance model is proposed that can be applied to both pseudo and true relevance feedback 9 in the language-modeling framework for document retrie...
Xiaoyan Li