3454 search results - page 350 / 691 » Modern computer algebra |
134
click to vote
KIVS
2005
Springer
16 years 8 days ago
2005
Springer
: In modern information systems the dominant retrieval paradigms have shifted from exact matching towards retrieving a list of the most relevant objects. This is because users usua...
189
click to vote
SPIN
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
178
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
150
click to vote
CGI
2003
IEEE
16 years 2 days ago
2003
IEEE
The paper presents an interactive painting system for generating high quality and artistic calligraphy characters and black ink paintings. The system is based on our original algo...
144
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
The PAPI project has defined and implemented a crossplatform interface to the hardware counters available on most modern microprocessors. The interface has gained widespread use ...