694 search results - page 21 / 139 » Open Graphs and Computational Reasoning |
JVA
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
WMASH
2005
ACM
14 years 2 months ago
2005
ACM
Wireless access has already become a ubiquitous way to connect to the Internet, but the mushrooming of wireless access infrastructures throughout the world has given rise to a wid...
POLICY
2007
Springer
14 years 3 months ago
2007
Springer
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
IJCAI
2007
13 years 10 months ago
2007
Most existing sketch understanding systems require a closed domain to achieve recognition. This paper describes an incremental learning technique for opendomain recognition. Our s...