BIRTHDAY 2009 - PDF Preprint Papers

BIRTHDAY 2009 Computation Theory and Logic

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed BIRTHDAY-2009 Paper

click to vote

BIRTHDAY
2009
Springer

194views Applied Computing» more BIRTHDAY 2009»

Semi-formal Evaluation of Conversational Characters

14 years 6 months ago

Download ron.artstein.org

Conversational dialogue systems cannot be evaluated in a fully formal manner, because dialogue is heavily dependent on context and current dialogue theory is not precise enough to ...

Ron Artstein, Sudeep Gandhe, Jillian Gerten, Anton...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	194	Semi-formal Evaluation of Conversational Characters	claim
2	179	Nonassociative Lambek Calculus with Additives and Context-Free Languages	claim
3	172	Clio: Schema Mapping Creation and Data Exchange	claim
4	170	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines	claim
5	151	Foundations of Temporal Conceptual Data Models	claim
6	151	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines	claim
7	148	Hybrid BDD and All-SAT Method for Model Checking	claim
8	146	Management of UML Clusters	claim
9	139	On Path Partitions and Colourings in Digraphs	claim
10	138	Combinatorial Problems for Horn Clauses	claim
11	135	Web Service Composition via the Customization of Golog Programs with User Preferences	claim
12	133	Towards the Automatic Acquisition of a Valence Dictionary for Polish	claim
13	129	Local Search Heuristics for the Multidimensional Assignment Problem	claim
14	127	Structural Operational Semantics for Weighted Transition Systems	claim
15	125	Data Modeling in Dataspace Support Platforms	claim
16	125	On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages	claim
17	124	Pervasive Theory of Memory	claim
18	120	A Complete, Co-inductive Syntactic Theory of Sequential Control and State	claim
19	120	An ASM-Characterization of a Class of Distributed Algorithms	claim
20	119	Asynchronous Congestion Games	claim
21	118	Is the World Linear?	claim
22	118	The Weak Gap Property in Metric Spaces of Bounded Doubling Dimension	claim
23	117	Vertical Object Layout and Compression for Fixed Heaps	claim
24	116	Path-Bicolorable Graphs	claim
25	114	Minimizing Average Flow-Time	claim
26	113	Some Notes on Models and Modelling	claim
27	112	A Higher-Order Graph Calculus for Autonomic Computing	claim
28	112	In Praise of Numerical Computation	claim
29	109	An Action Semantics Based on Two Combinators	claim
30	108	Validating and Animating Higher-Order Recursive Functions in B	claim
31	107	Kurzbiographien der Autoren	claim
32	106	No Syllogisms for the Numerical Syllogistic	claim
33	106	Covering a Tree by a Forest	claim
34	106	Mobile Processes and Termination	claim
35	103	On Lazy Commutation	claim
36	100	Formal Grammars of Early Language	claim
37	99	Modular Verification of Strongly Invasive Aspects	claim
38	97	Algorithms for Energy Saving	claim
39	97	Polynomial Precise Interval Analysis Revisited	claim
40	97	Enhancing Tropos with Commitments	claim
41	96	Social Modeling and i*	claim
42	96	A Semantical Account of Progression in the Presence of Defaults	claim
43	96	Verwaltungsdurchblick mit Verwaltungsdurchklick	claim
44	95	No i-Sums for Nissim (and Shalom)	claim
45	92	Formal Series of General Algebras over a Field and Their Syntactic Algebras	claim
46	89	The KBMS Project and Beyond	claim
47	87	Conceptual Modeling for Data Integration	claim
48	87	Reasoning About Alternative Requirements Options	claim
49	86	Scope Dominance with Generalized Quantifiers	claim
50	85	Ten Reasons to Metamodel ASMs	claim
51	78	Properly Coloured Cycles and Paths: Results and Open Problems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers