2308 search results - page 314 / 462 » Representing Symbolic Reasoning |
172
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
158
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Traffic repositories with TCP/IP header information are very important for network analysis. Researchers often assume that such repositories reliably represent all traffic that has...
218
click to vote
KBS
2011
15 years 1 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
159
click to vote
JMLR
2010
15 years 1 months ago
2010
In timbre remapping applications such as concatenative synthesis, an audio signal is used as a template, and a mapping process derives control data for some audio synthesis algori...
284
click to vote
ASMTA
2011
Springer
14 years 10 months ago
2011
Springer
Queueing delays experienced by packets buffered at a node are among the most difficult to predict when considering the performance of a flow in a network. The arrivals of packets a...