1843 search results - page 92 / 369 » Language-Derived Information and Context Models |
150
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
141
click to vote
JUCS
2010
15 years 3 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
123
click to vote
NAACL
2010
15 years 2 months ago
2010
The question of how meaning might be acquired by young children and represented by adult speakers of a language is one of the most debated topics in cognitive science. Existing se...
138
click to vote
CIVR
2009
Springer
15 years 11 months ago
2009
Springer
Semantic concept detectors are often individually and independently developed. Using peripherally related concepts for leveraging the power of joint detection, which is referred t...
118
click to vote
AIM
2006
15 years 6 months ago
2006
: The aim of this study is to assess quality perception of information system (IS) services outsourced by a large Brazilian bank, both from a technical (results) as well as from a ...