8760 search results - page 425 / 1752 » Modeling users of intelligent systems |
155
click to vote
TIT
2011
15 years 1 months ago
2011
—This work first presents a general technique to compute tight upper and lower bounds on the information rate of a multiuser Rayleigh fading channel with no Channel State Inform...
157
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
188
click to vote
APCCM
2009
15 years 8 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...
178
Voted
APN
2003
Springer
16 years 15 hour ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
167
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...