Sciweavers

1054 search results - page 147 / 211
» Guarded Expressions in Practice
Sort
View
ICSE
1998
IEEE-ACM
15 years 10 months ago
Integrating Architecture Description Languages with a Standard Design Method
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
Jason E. Robbins, Nenad Medvidovic, David F. Redmi...
AFPAC
1997
Springer
151views Mathematics» more  AFPAC 1997»
15 years 10 months ago
Trilinear Tensor: The Fundamental Construct of Multiple-view Geometry and Its Applications
The topic of representation, recovery and manipulation of three-dimensional 3D scenes from two-dimensional 2D images thereof, provides a fertile ground for both intellectual th...
Amnon Shashua
HRI
2007
ACM
15 years 9 months ago
Robot expressionism through cartooning
We present a new technique for human-robot interaction called robot expressionism through cartooning. We suggest that robots utilise cartoon-art techniques such as simplified and ...
James Everett Young, Min Xin, Ehud Sharlin
ICCAD
2007
IEEE
234views Hardware» more  ICCAD 2007»
15 years 9 months ago
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors
Abstract: Polynomial computations over fixed-size bitvectors are found in many practical datapath designs. For efficient RTL synthesis, it is important to identify good decompositi...
Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon ...
IAT
2009
IEEE
15 years 9 months ago
Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web
Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...
Thomas Lukasiewicz, Azzurra Ragone