1849 search results - page 343 / 370 » Intelligent Expressions of Emotions |
139
click to vote
PAM
2010
Springer
15 years 8 months ago
2010
Springer
Network traces are essential for a wide range of network applications, including traffic analysis, network measurement, performance monitoring, and security analysis. Existing cap...
118
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
115
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
121
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to...
135
click to vote
WILF
2007
Springer
15 years 8 months ago
2007
Springer
Background: Quantitative analysis of differential protein expressions requires to align temporal elution measurements from liquid chromatography coupled to mass spectrometry (LC/M...