Sciweavers

1107 search results - page 30 / 222
» XAIRA : software for language analysis
Sort
View
SAC
2006
ACM
14 years 4 months ago
Light stemming approaches for the French, Portuguese, German and Hungarian languages
This paper describes and evaluates various general stemming approaches for the French, Portuguese (Brazilian), German and Hungarian languages. Based on the CLEF test-collections, ...
Jacques Savoy
AOSE
2004
Springer
14 years 3 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
PLDI
2009
ACM
14 years 5 months ago
A randomized dynamic program analysis technique for detecting real deadlocks
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur ...
FOSSACS
2007
Springer
14 years 4 months ago
Complexity Results on Balanced Context-Free Languages
Abstract. Some decision problems related to balanced context-free languages are important for their application to the static analysis of programs generating XML strings. One such ...
Akihiko Tozawa, Yasuhiko Minamide
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
14 years 3 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...