Sciweavers

4355 search results - page 266 / 871
» From Interpretation to Compilation
Sort
View
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
16 years 1 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King
ICASSP
2008
IEEE
16 years 1 months ago
Improving Spoken Language Understanding with information retrieval and active learning methods
In the context of deployed spoken dialogue telecom services, we introduce a preprocessor called Fiction into the Spoken Language Understanding (SLU) component. It acts as an inter...
Isabelle Jars, Franck Panaget
XPU
2007
Springer
16 years 23 days ago
Up-Front Interaction Design in Agile Development
Abstract. In this paper we address how interaction design and agile development work together, with a focus on the issue of interaction design being done “up-front”, before sof...
Jennifer Ferreira, James Noble, Robert Biddle
HICSS
2005
IEEE
132views Biometrics» more  HICSS 2005»
16 years 8 days ago
A Soft Systems Analysis of Social Cognition In Boundary-Spanning Innovation
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
Susan Gasson
CLEF
2005
Springer
16 years 6 days ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues