Sciweavers

1122 search results - page 69 / 225
» Behavioral Extensions of Institutions
Sort
View
CCECE
2009
IEEE
15 years 4 months ago
Inverse data transformation for change detection in wind turbine diagnostics
A complex system is expected to show different nominal behaviors under different conditions, and the deviation over time from these nominal behaviors is an indicator of potential ...
Yanjun Yan, Lisa Ann Osadciw, Glen Benson, Eric Wh...
ICIP
2002
IEEE
15 years 11 months ago
JPEG2000 over noisy communication channels - the cost analysis aspect
In this paper we present the behavior of JPEG2000 coding scheme over noisy or congested communication channels and highlight the cost analysis aspect. Two error schemes are consid...
George Pavlidis, A. Tsompanopoulos, Nikos Papamark...
IAT
2008
IEEE
15 years 4 months ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...
SCCC
2008
IEEE
15 years 4 months ago
Hardware Synthesis for Asynchronous Communications Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
Kyller Costa Gorgônio, Jordi Cortadella
CRV
2007
IEEE
124views Robotics» more  CRV 2007»
15 years 4 months ago
Petri Net-Based Cooperation In Multi-Agent Systems
Abstract— We present a formal framework for robotic cooperation in which we use an extension to Petri nets, known as workflow nets, to establish a protocol among mobile agents b...
Yehia Thabet Kotb, Steven S. Beauchemin, John L. B...