549 search results - page 70 / 110 » Using Formal Concept Analysis in Mathematical Discovery |
131
click to vote
TLDI
2005
ACM
15 years 9 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
150
click to vote
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
148
click to vote
JUCS
2008
15 years 4 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
123
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...
116
Voted
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...