5499 search results - page 140 / 1100 » Generalized Rewrite Theories |
164
click to vote
ER
2009
Springer
15 years 2 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
128
click to vote
IGPL
2008
15 years 4 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
163
click to vote
ML
2008
ACM
15 years 3 months ago
2008
ACM
Kernel functions have become an extremely popular tool in machine learning, with an attractive theory as well. This theory views a kernel as implicitly mapping data points into a ...
119
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
Kernel functions have become an extremely popular tool in machine learning, with an attractive theory as well. This theory views a kernel as implicitly mapping data points into a ...
116
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
This essay extends Simon’s arguments in the Sciences of the Artificial to a critical examination of how theorizing in Information Technology disciplines should occur. The essay ...