Sciweavers

180 search results - page 6 / 36
» A Computational Model of Early Argument Structure Acquisitio...
Sort
View
ISORC
1998
IEEE
13 years 11 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
ACMSE
2004
ACM
14 years 27 days ago
Distributed robotic target acquisition using Bluetooth communication
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
J. T. McClain, Bradley J. Wimpey, D. H. Barnhard, ...
ICNC
2009
Springer
14 years 1 days ago
Knowledge Acquisition Approach Based on Rough Set and Artificial Neural Network in Product Design Process
In this paper, product structure is taken as knowledge acquisition point, and the effective knowledge acquisition path is discussed by establishing the associated relationship bet...
Changfeng Yuan, Wanlei Wang, Yan Chen
AIEDAM
2002
100views more  AIEDAM 2002»
13 years 7 months ago
Drawing marks, acts, and reacts: Toward a computational sketching interface for architectural design
Architects use sketching and diagramming in their design process to perform functional reasoning, formal arrangements, analogy transfer, structure mapping, and knowledge acquisiti...
Ellen Yi-Luen Do
VTC
2008
IEEE
102views Communications» more  VTC 2008»
14 years 1 months ago
Two-Level Early Stopping Algorithm for LTE Turbo Decoding
—The design of LTE turbo coding chain suitable for flexible parallel and pipelined hardware implementations is presented. The hierarchical data structure further offers an opport...
Jung-Fu Cheng