1536 search results - page 47 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
87
Voted
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
Learning temporal causal graph structures from multivariate time-series data reveals important dependency relationships between current observations and histories, and provides a ...
100
click to vote
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
CSREASAM
2006
14 years 11 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
58
Voted
LICS
2006
IEEE
15 years 3 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
100
click to vote
SOCIALCOM
2010
14 years 7 months ago
2010
Abstract--As the information flowing around in social networking systems is mainly related or can be attributed to their users, controlling access to such information by individual...