Sciweavers

398 search results - page 43 / 80
» Spider Diagrams of Order
Sort
View
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
14 years 4 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
BMCBI
2008
91views more  BMCBI 2008»
13 years 10 months ago
t2prhd: a tool to study the patterns of repeat evolution
Background: The models developed to characterize the evolution of multigene families (such as the birth-and-death and the concerted models) have also been applied on the level of ...
Botond Sipos, Kálmán Somogyi, Istv&a...
IEEEICCI
2002
IEEE
14 years 2 months ago
Program Comprehension as a Learning Process
The paper describes the process of program comprehension from the point of view of constructivist theory of learning. According to this view, program comprehension starts with the...
Václav Rajlich
ISMVL
1999
IEEE
133views Hardware» more  ISMVL 1999»
14 years 2 months ago
Ternary Multiplication Circuits Using 4-Input Adder Cells and Carry Look-Ahead
We introduce a new implementation of a ternary adder with four inputs and two outputs. This ternary adder reduces the number of digits in a multiplication compared with a binary m...
Andreas Herrfeld, Siegbert Hentschke
UAI
1996
13 years 11 months ago
A Graph-Theoretic Analysis of Information Value
We derive qualitative relationships about the informationalrelevance of variables in graphical decision models based on a consideration of the topology of the models. Speci cally,...
Kim-Leng Poh, Eric Horvitz