7139 search results - page 128 / 1428 » Language Engineering in Practice |
121
Voted
UM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Telecommunication applications based on user modeling focus on extracting customer behavior and preferences from the information implicitly included in Call Detail Record...
136
Voted
TIME
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
WSC
2000
15 years 4 months ago
2000
We propose solving continuous parametric simulation optimizations using a deterministic nonlinear optimization algorithm and sample-path simulations. The optimization problem is w...
117
click to vote
WER
2004
Springer
15 years 8 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
117
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
Classification of documents by genre is typically done either using linguistic analysis or term frequency based techniques. The former provides better classification accuracy than...