Sciweavers

3824 search results - page 80 / 765
» Geometry Constructions Language
Sort
View
VMCAI
2007
Springer
14 years 4 months ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....
IAT
2006
IEEE
14 years 4 months ago
Ordinary User Oriented Model Construction for Assisting Conversational Agents
In this paper, we defend the idea of integrating the actual cognitive features of novice users in the creation process of the applications to significantly increase the quality of...
David Leray, Jean-Paul Sansonnet
DALT
2004
Springer
14 years 3 months ago
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report
We report on the development of an agent-based system, called ΦLOG, for the specification and execution of phylogenetic inference applications. We detail the implementation of th...
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
LREC
2008
85views Education» more  LREC 2008»
13 years 11 months ago
A Method for Automatically Constructing Case Frames for English
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...
Daisuke Kawahara, Kiyotaka Uchimoto
WEBNET
2000
13 years 11 months ago
Adapting the Web Development Environment for accessible and usable application construction
: Web application accessibility requires the enforcement of a set of rules on the content written or generated with the help of Web Development Environments. W3C Consortium's ...
Elena García Barriocanal, Miguel Áng...