1060 search results - page 144 / 212 » Mechanized semantics |
MM
2010
ACM
14 years 10 months ago
2010
ACM
In this technical demonstration, we showcase a multimedia search engine that facilitates semantic access to archival rock n' roll concert video. The key novelty is the crowds...
DEXA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
JFP
2006
14 years 9 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
IJCSA
2007
14 years 9 months ago
2007
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...
102
click to vote
INFORMATICALT
1998
14 years 9 months ago
1998
This paper describes a method how to represent and build a reusable VHDL component. By that component we can, for example, describe a family of the relative VHDL models. To represe...