7057 search results - page 205 / 1412 » Tasks, domains, and languages |
236
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
177
click to vote
ACL
2006
15 years 8 months ago
2006
Short Messaging Service (SMS) texts behave quite differently from normal written texts and have some very special phenomena. To translate SMS texts, traditional approaches model s...
190
click to vote
MICAI
2007
Springer
16 years 19 days ago
2007
Springer
The wavelet transform has been used for feature extraction in many applications of pattern recognition. However, in general the learning algorithms are not designed taking into acc...
186
click to vote
SOFSEM
2007
Springer
16 years 19 days ago
2007
Springer
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
145
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing electronic markets is still a rather intricate process. eNegotiation - and thereby trading rules - embody the core of the institution ”electronic market”. Although s...