407 search results - page 68 / 82 » An Automated Verification Method for Distributed Systems Sof... |
SEFM
2007
IEEE
14 years 3 months ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
MIDDLEWARE
2004
Springer
14 years 2 months ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
CVIU
2007
13 years 8 months ago
2007
Laser-based people tracking systems have been developed for mobile robotic, and intelligent surveillance areas. Existing systems rely on laser point clustering method to extract o...
TCS
2010
13 years 7 months ago
2010
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
SIGMOD
2001
ACM
14 years 9 months ago
2001
ACM
In this paper we present a method for automatically segmenting unformatted text records into structured elements. Several useful data sources today are human-generated as continuo...