168 search results - page 32 / 34 » Towards Reasoning about the Past in Neural-symbolic Systems |
IJMSO
2007
13 years 5 months ago
2007
This paper describes work in progress developing a context-aware meeting alert. This application integrates semantic web technology in RDF (for representing calendars), semantic we...
SCP
1998
13 years 5 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
AAAI
2008
13 years 8 months ago
2008
Research has shown promise in the design of large scale common sense probabilistic models to infer human state from environmental sensor data. These models have made use of mined ...
BIS
2008
13 years 7 months ago
2008
Internet user forums have been proven to be effective not just as a community meeting place but also as a supporting tool for various business products. Traditional forums are desi...
COMPSAC
2009
IEEE
13 years 6 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...