8232 search results - page 1465 / 1647 » Dynamic Logic Programming |
155
click to vote
SAC
2006
ACM
16 years 6 days ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
154
click to vote
SIGCSE
2006
ACM
16 years 6 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
187
click to vote
VALUETOOLS
2006
ACM
16 years 6 days ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...
151
Voted
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a spoken document summarization scheme using acoustic, prosodic and semantic information. First, speech recognition confidence is estimated to choose reliable ...
174
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a novel single source peer-to-peer multicast architecture called GridMedia which mainly consists of 1) multi-sender based overlay multicast protocol (MSOMP) and 2) mult...