- Formal Verification of UML Diagrams: A First Step Towards Code Generation
- Bayesian Network Development Kenneth BACLAWSKI
- FORMALIZATION OF SITUATION Kenneth Baclawski Mieczyslaw K. Kokar
- Open Ontology Repository Kenneth Baclawski
- Formalization of Situation Awareness Kenneth Baclawski
- Consistency Checking of RM-ODP Specifications Kenneth Baclawski
- Distributed Object Search System and Method Brief Summary
- Open OntologyOpen Ontology Repository:Repository
- Making Better Strategic Decisions,Making Better Strategic Decisions, by Asking If It Is Going To Get Better or Worseby Asking If It Is Going To Get Better or Worse
- BaseVISor is a forward-chaining inference engine based on a Rete network optimized for the process-
- New Metrics for Newsblog Credibility Brian Ulicny
- 1. There is a single table with two selection clauses for sees = ? and date =?. There is an index on the table for date and picking a single date is most likely highly selective due to the wide range of dates, so
- Toward Ontology-Based Component Composition Kenneth Baclawski and Artan Simeqi
- A Probabilistic Time Reversal Theorem Kenneth Baclawski
- S E L F -A D A P T I V E S O F T W A R E Control Theory-Based
- Context and Joins in the Semantic Web Kenneth Baclawski
- Uses of Ontologies in Open-Source Blog Mining Brian Ulicny, Chris Matheus, Mitch Kokar, Ken Baclawski
- Constructing RuleML-Based Domain Theories on top of OWL Ontologies
- BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML & R-Entailment Rules*
- DISTRIBUTED, CONFIDENCE-BASED LOCALIZATION FOR MOBILE SDRS David Brady (ECE Dept, brady@ece.neu.edu)
- THE USE OF ONTOLOGIES FOR THE SELF-AWARENESS OF COMMUNICATION NODES J. Wang (Department of Electrical and Computer Engineering, Northeastern University,
- Self-Controlling Architecture Structured Agents Mieczyslaw M. Kokar (contact author)
- UML for Ontology Development Paul Kogut, Lockheed Martin Management & Data Systems
- Long Time, No See: Categorization in Information Science
- The Notion of Inheritance in Object-Oriented Programming
- Derivation of ontological relations using formal methods in a situation awareness scenario
- Using a Task-Specific QoS for Controlling Sensing Requests and Scheduling Mieczyslaw M. Kokar
- Kenneth Baclawski College of Computer and Information Science
- A Network Emulation Tool Kenneth Baclawski
- Database Techniques for Biological Materials & Kenneth Baclawski, Robert Futrelle,
- KEYNET: Fast indexing for semantically rich information Kenneth Baclawski
- Object-Oriented Parsing and Transformation Kenneth Baclawski y
- KNOWLEDGE REPRESENTATION AND INDEXING USING THE UNIFIED MEDICAL LANGUAGE SYSTEM
- Category Theoretic Approaches of Representing Precise UML Semantics
- Modeling Combined Time-and Event-Driven Dynamic Systems
- Extending UML to Support Ontology Engineering for the Semantic Web
- Consistency Checking of Semantic Web Kenneth Baclawski1
- MotifML: A Novel Ontology-based Language for Protein-Binding Motifs: Implications in Dissecting the Genetic Regulatory Circuitry
- A Core Ontology for Situation Awareness Christopher J. Matheus
- Control Based Sensor Management for a Multiple Radar Monitoring Scenario
- Association in Level 2 fusion Mieczyslaw M. Kokara, Christopher J. Matheusb, Jerzy A. Letkowskic,
- Use Cases for Ontologies in Information Fusion Mieczyslaw M. Kokar Christopher J. Matheus Kenneth Baclawski
- Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a
- New Metrics for Blog Mining Brian Ulicnya
- Quality and Gatekeeping Use Cases for the OOR
- records, and they take 1.5*4907.4/138.8=53.0 blocks. So time for this query will take 20+53*10=550ms
- Introduction to Introduction to XPath
- Compute the number of blocks required for storing each of the tables in the database using each of the Record Size Record per full
- Purple MediaWiki: Fine-Grained Addressability of Wiki Kenneth Baclawski, Viral Gupta, Tejas Parikh
- Mapping an Application to a Control Architecture: Specification of the Problem
- OOR at Northeastern Ken Baclawski
- Language Transformations Kenneth Baclawski2, Mieczyslaw K. Kokar2, Paul A. Kogut1,
- Sample Solution to Assignment #7 of CS 5200 Fall 2010. create table Building (
- create table Building ( id int primary key,
- Select count(s.id) as SolutionCount From Issue i, Alternative a, Solution s
- create table Person( id int primary key, [hash index of size 2000]
- A Combinatorial Proof of a Fixed Point Kenneth Baclawski
