5451 search results - page 484 / 1091 » Typed Operational Semantics |
180
click to vote
LOGCOM
2008
15 years 6 months ago
2008
The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classical work in belief revision focuses on i...
212
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
190
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Load balancing is a technique which allows efficient parallelization of irregular workloads, and a key component of many applications and parallelizing runtimes. Work-stealing is ...
178
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Many information services in pervasive computing offer rich information, which is information that includes other types of information. For example, the information listed in a pe...
168
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent research shows that ontology as background knowledge can improve document clustering quality with its concept hierarchy knowledge. Previous studies take term semantic simila...