"... License Plate Recognition (LPR) is a fairly well explored problem and is already a component of several commercially operational systems. Many of these systems, however, require sophisticated video capture hardware possibly combined with infrared strobe lights or exploit the large size of license pl ..."

License Plate Recognition (LPR) is a fairly well explored problem and is already a component of several commercially operational systems. Many of these systems, however, require sophisticated video capture hardware possibly combined with infrared strobe lights or exploit the large size of license

"... We investigate the semantic foundations of a method for modeling agents as entities with a mental state which was suggested by McCarthy and by Newell. Our goals are to formalize this modeling approach and its semantics, to understand the theoretical and practical issues that it raises, and to addres ..."

, and to address some of them. In particular, this requires specifying the model’s parameters and how these parameters are to be assigned (i.e., their grounding). We propose a basic model in which the agent is viewed as a qualitative decision maker with beliefs, preferences, and decision strategy; and we show how

"... We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of a real network rather than abstract RF propagation models as the basis for accuracy in complex environments. Seeding our ..."

We present practical models for the physical layer behaviors of packet reception and carrier sense with interference in static wireless networks. These models use measurements of a real network rather than abstract RF propagation models as the basis for accuracy in complex environments. Seeding our

"... Computing data mining algorithms such as clustering techniques on massive geospatial data sets is still not feasible nor efficient today. Massive data sets are continuously produced with a data rate of over several TB/day. In the case of compressing such data sets, we demonstrate the necessity for c ..."

for clustering algorithms that are highly scalable with regard to data size and utilization of available computing resources to achieve an overall high performance computation. In this paper, we introduce a data streambased approach to clustering, the partial/merge k-means algorithm. We implemented the partial

"... The goal of this thesis is to establish a system for the automatic syntactic analysis of real-world text. Syntactic analysis in this thesis denotes computation of in-depth syntactic structures that are grounded in syntactic theories like Head-Driven Phrase Structure Grammar (HPSG). Since syntactic s ..."

The goal of this thesis is to establish asystem for the automatic syntactic analysis of real-world text. Syntactic analysis in this thesis denotes computation of in-depth syntactic structures that are grounded in syntactic theories like Head-Driven Phrase Structure Grammar (HPSG). Since syntactic

"... As a result of the decreasing cost of storage media and the steady improvement in compression technologies, vast archives of video material are now commonplace. For the effective use of these archives, there must exist the means to search and retrieve the data easily. At the same time, the Internet ..."

As a result of the decreasing cost of storage media and the steady improvement in compression technologies, vast archives of video material are now commonplace. For the effective use of these archives, there must exist the means to search and retrieve the data easily. At the same time, the Internet

"... Programs are increasingly organized around features, which are encapsulated using aspects and other linguistic mechanisms. Despite their growing popularity amongst developers, there is a dearth of techniques for computer-aided verification of programs that employ these mechanisms. We present the the ..."

the theoretical underpinnings for applying model-checking to programs (expressed as state machines) written using these mechanisms. The analysis is incremental, examining only components that change rather than verifying the entire system every time one part of it changes. Our technique assumes that the set

"... The Mariposa distributed data manager uses an economic model for managing the allocation of both storage objects and queries to servers. In this paper, we present extensions to the economic model which support replica management, as well as our mechanisms for propagating updates among replicas. We s ..."

show how our replica control mechanism can be used to provide consistent, although potentially stale, views of data across many machines without expensive per-transaction synchronization. We present a rule-based con�ict resolution mechanism, which can be used to enhance traditional time