The paper studies how the localic notion of sublocale transfers to formal topology. For any formal topology (not necessarily with positivity predicate) we define a sublocale to b...
Sensor networks are widely used in many applications for collecting information from the physical environment. In these applications, it is usually necessary to track the relation...
A lot of research has been conducted by the database community on methods and techniques for efficient XPath processing, with great success. Despite the progress made, significant...
- This paper describes a Software Engineering Option (SEO) within the current BS in Computer Science program at UMASS Dartmouth. The SE Option reuses significant portion of the exi...
Jan Bergandy, Paul L. Bergstein, Boleslaw Mikolajc...
Managing uncertain data using probabilistic frameworks has attracted much interest lately in the database literature, and a central computational challenge is probabilistic infere...