3824 search results - page 530 / 765 » Geometry Constructions Language |
111
Voted
AAAI
1994
15 years 5 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
147
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
151
Voted
CICLING
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Previous work has shown that modeling relationships between articles of a regulation as vertices of a graph network works twice as better than traditional information ret...
138
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Many applications in analytical domains often have the need to "connect the dots" i.e., query about the structure of data. In bioinformatics for example, it is typical t...
247
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
rrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, c...