2346 search results - page 369 / 470 » Hierarchical State Machines |
139
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge...
173
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
197
click to vote
ACL
2003
15 years 7 months ago
2003
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...
192
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A goal of proteomics is to distinguish between states of a biological system by identifying protein expression differences. Liu et al. demonstrated a method to perform...
188
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract Microblogging is a form of online communication by which users broadcast brief text updates, also known as tweets, to the public or a selected circle of contacts. A varieg...