Sciweavers

538 search results - page 67 / 108
» Natural Language Access to Software Applications
Sort
View
PPDP
2010
Springer
14 years 7 months ago
Rewrite-based verification of XML updates
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
Florent Jacquemard, Michaël Rusinowitch
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 1 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...
OOPSLA
2009
Springer
15 years 4 months ago
Parallel programming with object assemblies
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cern&...
CAISE
2006
Springer
15 years 1 months ago
An Infrastructure for Building Semantic Web Portals
One important task of semantic web portals is to offer both end users and applications a seamless access to knowledge contained in heterogeneous data sources in specific user commu...
Yuangui Lei, Vanessa Lopez, Enrico Motta
LREC
2010
173views Education» more  LREC 2010»
14 years 11 months ago
LIMA : A Multilingual Framework for Linguistic Analysis and Linguistic Resources Development and Evaluation
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
Romaric Besançon, Gaël de Chalendar, O...