3233 search results - page 425 / 647 » Rule Modeling and Markup |
182
click to vote
EGH
2003
Springer
15 years 12 months ago
2003
Springer
We show how a future graphics processor unit (GPU), enhanced with random read and write to video memory, can represent, refine and adjust complex meshes arising in modeling, simu...
213
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
139
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
206
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we present a social model for software agent conversations for action based on social commitments and their negotiation. We depart from the premises that conversati...
174
click to vote
CONTEXT
2001
Springer
15 years 11 months ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...