Search
Search Results
-
Finitary Type Theories With and Without Contexts
We give a definition of finitary type theories that subsumes many examples of dependent type theories, such as variants of Martin–Löf type theory,...
-
Affect sensing from smartphones through touch and motion contexts
Affect state of a person has an impact on the intellectual processes that control human behavior. Experiencing negative affect escalates mental...
-
Optimization of Information Retrieval Systems for Learning Contexts
The majority of Sub-Saharan African countries are facing a very negative teacher-learner ratio: one teacher for over 120 learners. In order to...
-
Validity in Contexts
Inspired by McGee’s semantics for conditionals, we define a language with contexts explicitly encoded in formulas to evaluate propositions under... -
Correlating contexts and NFR conflicts from event logs
In the design of autonomous systems, it is important to consider the preferences of the interested parties to improve the user experience. These...
-
An effective fault localization approach for Verilog based on enhanced contexts
The HDL research community recognizes the pivotal role of bug localization in the debugging workflow, offering substantial relief to developers. This...
-
Facilitating learning and interaction in K-12 remote teaching contexts
The use of a facilitator is a growing phenomenon in K-12 remote teaching contexts. The aim of this study is to analyse aspects of facilitating...
-
Learning discriminative local contexts for person re-identification in vehicle surveillance scenarios
In recent years, person re-identification (Re-ID) has been widely used in intelligent surveillance and security. However, Re-ID faces many challenges...
-
Wisdom of the contexts: active ensemble learning for contextual anomaly detection
In contextual anomaly detection, an object is only considered anomalous within a specific context. Most existing methods use a single context based...
-
Investigation of Facilitating English Speaking of Elementary School Students in Authentic Contexts with UEnglish
Despite the importance of English in various aspects of life, students learning English as a foreign language often lack sufficient opportunities to...
-
Knowledge cores in large formal contexts
Knowledge computation tasks, such as computing a base of valid implications, are often infeasible for large data sets. This is in particular true...
-
Finding the reference text in citation contexts using attention model
Precise reference text extraction from citation contexts (CCs) is important in computational linguistics and information retrieval applications. The...
-
Correlation factors of translanguaging practices on English as a Foreign Language Contexts: the perception of Teachers
Teaching English in second language contexts seems to have succeeded in implementing only target-language policy allowed during class time. However,...
-
Arbitrary shape scene text detector with accurate text instance generation based on instance-relevant contexts
Scene text detection methods based on deep segmentation techniques have achieved promising performances over the past years. However, there are still...
-
Word representation using refined contexts
In this paper, inspired from the idea that the contextual distances and positions may have a substantial impact on distinguishing the relationships...
-
The updating methods of object-induced three-way concept in dynamic formal contexts
The methods for constructing concept lattices are vital topics in formal concept analysis. Most of the existing algorithms for constructing three-way...
-
Should prohibition signs always be designed as bar-over-pictogram in traffic and non-traffic contexts?
The design pattern of a prohibition sign following the ISO standard includes a diagonal bar superimposed over a pictogram. However, there are some...
-
The effects of game quality and cognitive loads on students’ learning performance in mobile game-based learning contexts: The case of system analysis education
Prior research has demonstrated the advantages of applying mobile game-based learning (MGBL) applications to supporting students’ learning. However,...
-
Target-aware pooling combining global contexts for aerial tracking
The UAVs captured targets are relatively small when compared with the ordinary surveillance cameras. Thus, a strong discriminative ability is...
-
A new QoC parameter and corresponding context inconsistency elimination algorithms for sensed contexts and non-sensed contexts
As the key products of ubiquitous computing, context-aware systems have been widely used in many fields such as digital home, smart healthcare and so...