Sciweavers

332 search results - page 45 / 67
» Using Natural Language to Manage NPC Dialog
Sort
View
133
Voted
PVLDB
2008
134views more  PVLDB 2008»
15 years 3 months ago
Evita raced: metacompilation for declarative networks
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
Tyson Condie, David Chu, Joseph M. Hellerstein, Pe...
111
Voted
IFIP
2005
Springer
15 years 9 months ago
A Logic for Analysing Subterfuge in Delegation Chains
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
Hongbin Zhou, Simon N. Foley
109
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 10 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...
125
Voted
IUI
2005
ACM
15 years 9 months ago
Conventions in human-human multi-threaded dialogues: a preliminary study
In this paper, we explore the conventions that people use in managing multiple dialogue threads. In particular, we focus on where in a thread people interrupt when switching to an...
Peter A. Heeman, Fan Yang, Andrew L. Kun, Alexande...
140
Voted
RIAO
2000
15 years 4 months ago
Assisting requirements engineering with semantic document analysis
Requirements engineering is the first stage in the software life-cycle and is concerned with discovering and managing a software system's services, constraints and goals. Req...
Paul Rayson, Roger Garside, Peter Sawyer