Research Output 1982 2019

Filter
Paper
2019

ICORe: Continuous and proactive extrospection on multi-core IoT devices

Zhang, P., Cho, H., Zhao, Z., Doupe, A. & Ahn, G-J., Jan 1 2019, p. 851-860. 10 p.

Research output: Contribution to conferencePaper

Monitoring
Visibility
Data storage equipment
Degradation
Internet of things
2018
2 Citations (Scopus)

Multi-layered network embedding

Li, J., Chen, C., Tong, H. & Liu, H., Jan 1 2018, p. 684-692. 9 p.

Research output: Contribution to conferencePaper

Network layers
Critical infrastructures
Recommender systems
Experiments
1 Citation (Scopus)

Strongly hierarchical factorization machines and ANOVA kernel regression

Guo, R., Alvari, H. & Shakarian, P., Jan 1 2018, p. 729-737. 9 p.

Research output: Contribution to conferencePaper

Analysis of variance (ANOVA)
Factorization
Data mining
Parameter estimation
Learning algorithms
1 Citation (Scopus)

Toward relational learning with misinformation

Wu, L., Li, J., Morstatter, F. & Liu, H., Jan 1 2018, p. 711-719. 9 p.

Research output: Contribution to conferencePaper

2017

Understanding student’s reviewing and reflection behaviors using web-based programming grading assistant

Paredes, Y. V., Huang, P. K. & Hsiao, I., Jan 1 2017, p. 422-423. 2 p.

Research output: Contribution to conferencePaper

Students
Turnaround time
Feedback
2016
7 Citations (Scopus)

An approach for activity-based DEVS model specification

Alshareef, A., Sarjoughian, H. & Zarrin, B., Jan 1 2016.

Research output: Contribution to conferencePaper

Model Specification
Specifications
Behavior Modeling
Model
Specification
5 Citations (Scopus)

Seeking programming-related information from large scaled discussion forums, help or harm?

Lu, Y. & Hsiao, I., Jan 1 2016, p. 442-447. 6 p.

Research output: Contribution to conferencePaper

Students
Engines
2013

A functional view of strong negation in answer set programming

Bartholomew, M. & Lee, J., Jan 1 2013, p. 49-64. 16 p.

Research output: Contribution to conferencePaper

Strong Negation
Answer Set Programming
Stable Models
Functional Model
Semantics
2012
2 Citations (Scopus)

Two new definitions of stable models of logic programs with generalized quantifiers

Lee, J. & Meng, Y., Jan 1 2012, p. 131-144. 14 p.

Research output: Contribution to conferencePaper

Generalized Quantifiers
Stable Models
Logic Programs
Semantics
Operator
2008

Classical logic event calculus as answer set programming

Lee, J. & Palla, R., Jan 1 2008, p. 119-133. 15 p.

Research output: Contribution to conferencePaper

Event Calculus
Answer Set Programming
Stable Models
Classical Logic
Answer Sets