6047 search results - page 902 / 1210 » Modeling with Extend |
142
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...
128
Voted
FLAIRS
2008
15 years 6 months ago
2008
To facilitate more meaningful interpretation considering the internal interdependency relationships between data values, a new form of high-order (multiple-valued) pattern known a...
130
click to vote
ICAI
2004
15 years 5 months ago
2004
Robots possess many effectors and sensors of various capability. It is often difficult, not only to integrate these numerous capabilities, but also to organize them to accomplish ...
158
click to vote
PDPTA
2003
15 years 5 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...
108
click to vote
PERVASIVE
2007
Springer
15 years 3 months ago
2007
Springer
The proliferation of affordable mobile devices with processing and sensing capabilities, together with the rapid growth in ubiquitous network connectivity, herald an era of Mobisc...