652 search results - page 50 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
EMNLP
2010
14 years 8 months ago
2010
In this paper we introduce the new task of social event extraction from text. We distinguish two broad types of social events depending on whether only one or both parties are awa...
WORM
2004
14 years 11 months ago
2004
The monitoring of unused Internet address space has been shown to be an effective method for characterizing Internet threats including Internet worms and DDOS attacks. Because the...
109
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Chow and Liu showed that the maximum likelihood tree for multivariate discrete distributions may be found using a maximum weight spanning tree algorithm, for example K...
109
Voted
IJCAI
1989
14 years 11 months ago
1989
entional user behavior, we need a principled mannerAbstract for relaxing contextual constraints when they are violated.When computer speech recognition is used for problem In order...
AAAI
2008
15 years 12 days ago
2008
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional ...