2741 search results - page 179 / 549 » Engineering Mathematical Knowledge |
161
click to vote
IEEEICCI
2009
IEEE
15 years 10 months ago
2009
IEEE
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
104
click to vote
KI
2009
Springer
15 years 9 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
127
Voted
IEEEIAS
2007
IEEE
15 years 9 months ago
2007
IEEE
In recent years, mathematical, statistical and computer science methods have found extensive application in developing new procedures for crime investigation, prosecution and the ...
128
click to vote
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
136
click to vote
ICAIL
2005
ACM
15 years 8 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...