Sciweavers

602 search results - page 47 / 121
» Auctioning transformable goods
Sort
View
ENGL
2008
93views more  ENGL 2008»
15 years 4 months ago
Generation of Equations of Motion in Reference Frame Formulation for FEM Models
: This paper presents a method of the reformulation of equations in the inertial frame formulation, used for FEM models of flexible multibody systems, to the floating frame formula...
Dmitry Vlasenko, Roland Kasper
DASFAA
2009
IEEE
195views Database» more  DASFAA 2009»
15 years 11 months ago
The XMLBench Project: Comparison of Fast, Multi-platform XML libraries
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
Suren Chilingaryan
ATAL
2003
Springer
15 years 9 months ago
Model checking agentspeak
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
Rafael H. Bordini, Michael Fisher, Carmen Pardavil...
BMEI
2009
IEEE
15 years 5 months ago
Cell Clumping Quantification and Automatic Area Classification in Peripheral Blood Smear Images
Cell enumeration in peripheral blood smears and cell are widely applied in biological and pathological practice. Not every area in the smear is appropriate for enumeration due to ...
Wei Xiong, S. H. Ong, Christina Kang, Joo-Hwee Lim...
DCC
2002
IEEE
16 years 3 months ago
Iterated Denoising for Image Recovery
In this paper we propose an algorithm for image recovery where completely lost blocks in an image/video-frame are recovered using spatial information surrounding these blocks. Our...
Onur G. Guleryuz