16606 search results - page 2869 / 3322 » Context Modeling: Task Model and Practice Model |
168
Voted
VLSID
1997
IEEE
15 years 11 months ago
1997
IEEE
—Logical initializability is the property of a gate-level circuit whereby it can be driven to a unique start state when simulated by a three-valued (0, 1, ) simulator. In practic...
183
click to vote
ECAIW
1994
Springer
15 years 11 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
174
Voted
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
182
Voted
AMT
2006
Springer
15 years 10 months ago
2006
Springer
In traditional Information Retrieval (IR), user profiles are often represented by keyword/concepts space vectors or by some predefined categories. Unfortunately, this data is often...
190
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...