3819 search results - page 63 / 764 » Simple Easy Terms |
RTA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
BMCBI
2006
13 years 7 months ago
2006
Background: Understanding research activity within any given biomedical field is important. Search outputs generated by MEDLINE/PubMed are not well classified and require lengthy ...
AUIC
2005
IEEE
14 years 1 months ago
2005
IEEE
Ubiquitous mobile computing devices offer the opportunity to provide easy access to a rich set of information sources. Placing the display for this computing device on the user’...
CA
2000
IEEE
14 years 3 days ago
2000
IEEE
In traditional animation, keyframes are modeled and standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 30 world and its ...
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
Web Services constitute a set of technologies that many believe will change the web communication landscape within the next few years. They offer standardized and easy communicati...