Sciweavers

455 search results - page 66 / 91
» Understanding Counterexamples with explain
Sort
View
DOCENG
2005
ACM
15 years 1 months ago
Integrating translation services within a structured editor
Fully automatic machine translation cannot produce high quality translation; Dialog-Based Machine Translation (DBMT) is the only way to provide authors with a means of translating...
Ali Choumane, Hervé Blanchon, Cécile...
AAAI
2010
15 years 18 days ago
Intentions in Equilibrium
Intentions have been widely studied in AI, both in the context of decision-making within individual agents and in multiagent systems. Work on intentions in multi-agent systems has...
John Grant, Sarit Kraus, Michael Wooldridge
LREC
2010
225views Education» more  LREC 2010»
15 years 18 days ago
An Automatic System for Summarization and Information Extraction of Legal Information
Abstract. This paper presents an information system for legal professionals that integrates natural language processing technologies such as text classification and summarization. ...
Emmanuel Chieze, Atefeh Farzindar, Guy Lapalme
ICSOFT
2007
15 years 17 days ago
Towards a New Code-Based Software Development Concept Enabling Code Patterns
Modern software development is driven by many critical forces. Among them are fast deployment requirements, a code base adaptable to new technologies, easy-to-maintain code, and lo...
Klaus Meffert, Ilka Philippow
75
Voted
IJCAI
2007
15 years 17 days ago
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling
Recently, generative probabilistic modeling principles were extended to visualization of structured data types, such as sequences. The models are formulated as constrained mixture...
Peter Tino, Nikolaos Gianniotis