283 search results - page 10 / 57 » Error Detection Using BMC in a Parallel Environment |
ANLP
2000
13 years 9 months ago
2000
This paper reports on work carried out to develop a spelling and grammar corrector for Danish, addressing in particular the issue of how a form of shallow parsing is combined with...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— A mobile robot operating in an urban environment has to navigate around obstacles and hazards. Though a significant amount of work has been done on detecting obstacles, not mu...
EUROPAR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Security and fault-tolerance is a big issue for intensive parallel computing in pervasive environments with hardware errors or malicious acts that may alter the result. I...
ICDCS
2009
IEEE
14 years 5 months ago
2009
IEEE
Sensor localization in wireless sensor networks is an important component of many applications. Previous work has demonstrated how localization can be achieved using various metho...
INFOCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract—Spectrum sensing is one of the key enabling technologies in Cognitive Radio Networks (CRNs). In CRNs, secondary users (SUs) are allowed to exploit the spectrum opportuni...