Sciweavers

2468 search results - page 77 / 494
» A New Approach to Pseudoword Generation
Sort
View
CSR
2008
Springer
15 years 8 months ago
Invariant Generation for P-Solvable Loops with Assignments
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
Laura Kovács
DEXAW
2000
IEEE
96views Database» more  DEXAW 2000»
15 years 10 months ago
Towards a Generic Negotiation Model for Intentional Agents
Intentional agents are charged with generating and executing intentionally plans of action towards the achievement of their goals. They operate in multi-agent systems and situatio...
Fernando Lopes, Nuno J. Mamede, Augusto Q. Novais,...
NAACL
1994
15 years 7 months ago
Automatic Evaluation of Computer Generated Text: A Progress Report on the TEXTEVAL Project
We present results ofexperiments designed to assess the usefulness of a new technique for the evaluation of translation quality, comparing human rankings with automatic measures. ...
Chris Brew, Henry S. Thompson
ICWE
2007
Springer
16 years 13 days ago
WebRatio 5: An Eclipse-Based CASE Tool for Engineering Web Applications
: The goal of this work is to present the software WebRatio 5, which is a good representative of a new generation of CASE tools for model-driven design of Web applications. WebRati...
Roberto Acerbis, Aldo Bongio, Marco Brambilla, Ste...
SIGIR
2010
ACM
15 years 10 months ago
Blog snippets: a comments-biased approach
In the last years Blog Search has been a new exciting task in Information Retrieval. The presence of user generated information with valuable opinions makes this field of huge in...
Javier Parapar, Jorge López-Castro, Alvaro ...