2273 search results - page 361 / 455 » On the Expressiveness and Complexity of ATL |
ECSA
2010
Springer
14 years 8 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
EMNLP
2010
14 years 8 months ago
2010
We report on investigations into hierarchical phrase-based translation grammars based on rules extracted from posterior distributions over alignments of the parallel text. Rather ...
ER
2010
Springer
14 years 8 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
GLOBECOM
2010
IEEE
14 years 8 months ago
2010
IEEE
While in computer networks the number of possible protocol encapsulations is growing day after day, network administrators face ever increasing difficulties in selecting accurately...
AND
2009
14 years 7 months ago
2009
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...