557 search results - page 46 / 112 » The L4.verified Project - Next Steps |
LREC
2008
13 years 10 months ago
2008
In the present paper we report on the development of a cluster of web services of language technology for Portuguese that we named as LXService. These web services permit the dire...
IJCAI
2007
13 years 10 months ago
2007
To test large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of two steps; 1) participatory simulation, where scenario-...
NIPS
2007
13 years 10 months ago
2007
Assessing similarity between features is a key step in object recognition and scene categorization tasks. We argue that knowledge on the distribution of distances generated by sim...
CLA
2006
13 years 10 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
DAGSTUHL
2004
13 years 10 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...