11200 search results - page 1740 / 2240 » An Object-oriented Optimization System |
123
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
The tagging problem in natural language processing is to find a way to label every word in a text as a particular part of speech, e.g., proper noun. An effective way of solving th...
154
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
These last years, the evolution of nomadic terminals and mobile networks has yield to the development of the ubiquitous computing. In this context, actual query evaluation and opt...
135
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
119
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
164
click to vote
ACMICEC
2004
ACM
15 years 10 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...