Sciweavers

902 search results - page 42 / 181
» Opening Address
Sort
View
LDVF
2000
102views more  LDVF 2000»
13 years 8 months ago
Imperatives, Commitment and Action: Towards a Constraint-based Model
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
Paul Piwek
PEPM
2012
ACM
12 years 4 months ago
Ideas for connecting inductive program synthesis and bidirectionalization
We share a vision of connecting the topics of bidirectional transformation and inductive program synthesis, by proposing to use the latter in approaching problematic aspects of th...
Janis Voigtländer
CI
2010
129views more  CI 2010»
13 years 8 months ago
On-Line Case-Based Planning
Some domains, such as real-time strategy (RTS) games, pose several challenges to traditional planning and machine learning techniques. In this paper, we present a novel on-line ca...
Santi Ontañón, Kinshuk Mishra, Neha ...
CN
2008
100views more  CN 2008»
13 years 8 months ago
Packet forwarding with source verification
Abstract-- Routers in the Internet do not perform any verification of the source IP address contained in the packets, leading to the possibility of IP spoofing. The lack of such ve...
Craig A. Shue, Minaxi Gupta, Matthew P. Davy
CORR
2008
Springer
99views Education» more  CORR 2008»
13 years 8 months ago
Modelling interdependencies between the electricity and information infrastructures
The aim of this paper is to provide qualitative models characterizing interdependencies related failures of two critical infrastructures: the electricity infrastructure and the ass...
Jean-Claude Laprie, Karama Kanoun, Mohamed Ka&acir...