2765 search results - page 275 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
209
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
207
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
149
click to vote
IJCAI
1997
15 years 8 months ago
1997
From the analysis of naturally occurring texts we obtained evidence for the systematic interaction between nominal anaphora and metonymies. This leads us to postulate an integrate...
193
click to vote
EMNLP
2010
15 years 4 months ago
2010
Almost all Chinese language processing tasks involve word segmentation of the language input as their first steps, thus robust and reliable segmentation techniques are always requ...
182
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
We consider model-based reinforcement learning in finite Markov Decision Processes (MDPs), focussing on so-called optimistic strategies. Optimism is usually implemented by carryin...