1755 search results - page 229 / 351 » An efficient simulation algorithm based on abstract interpre... |
176
Voted
DSRT
2008
IEEE
15 years 5 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
106
Voted
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We consider the problem of minimizing the resources used for network coding while achieving the desired throughput in a multicast scenario. Since this problem is NPhard...
134
Voted
COLING
1992
15 years 4 months ago
1992
Knowledge-based interlingual machine translation systems produce semantically accurate translations, but typically require massive knowledge acquisition. Ongoing research and deve...
115
Voted
WIIW
2001
15 years 5 months ago
2001
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
143
Voted
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...