1210 search results - page 54 / 242 » Specifying Precise Use Cases with Use Case Charts |
137
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
120
click to vote
CSMR
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...
120
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
130
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
In 3GPP a standard for multimedia streaming over mobile networks called PSS (Packet-switched Streaming Service) has been specified. In order to deal with changing transmission char...
129
click to vote
AMAST
2006
Springer
15 years 7 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...