1925 search results - page 232 / 385 » Theory research at Google |
152
click to vote
ECIS
2004
15 years 7 months ago
2004
The organizational capabilities to interact with others have been greatly improved as a result of modern information and communications technologies: Nowadays a company can mainta...
195
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
168
click to vote
ACL
1994
15 years 7 months ago
1994
This paper shows how to formally characterize language learning in a finite parameter space as a Markov structure, hnportant new language learning results follow directly: explici...
164
click to vote
IJCAI
1993
15 years 7 months ago
1993
We introduce and use a new methodology for the study of logics for action and change. The methodology allows one to define a taxonomy of reasoning problems, based in particular on...
179
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...