1884 search results - page 105 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
124
click to vote
ICDM
2009
IEEE
14 years 7 months ago
2009
IEEE
The amount of text data on the Internet is growing at a very fast rate. Online text repositories for news agencies, digital libraries and other organizations currently store gigaan...
TAPSOFT
1997
Springer
15 years 2 months ago
1997
Springer
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
Automatic text recognition from natural images receives a growing attention because of potential applications in image retrieval, robotics and intelligent transport system. Camera...
TSMC
2002
14 years 9 months ago
2002
Abstract--In mobile networks, the traffic fluctuation is unpredictable due to mobility and varying resource requirement of multimedia applications. Hence, it is essential to mainta...
INFOCOM
2012
IEEE
13 years 11 days ago
2012
IEEE
Abstract—Tor is a well-known low-latency anonymous communication system that is able to bypass Internet censorship. However, publicly announced Tor routers are being blocked by v...