697 search results - page 103 / 140 » Decomposition Structures for Event-B |
108
click to vote
IJCAI
1989
15 years 29 days ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...
IUI
2010
ACM
15 years 8 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
114
click to vote
GLVLSI
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we propose a novel statistical capacitance extraction method for interconnects considering process variations. The new method, called statCap, is based on the spect...
119
click to vote
MICRO
2005
IEEE
15 years 5 months ago
2005
IEEE
Scheduling algorithms used in compilers traditionally focus on goals such as reducing schedule length and register pressure or producing compact code. In the context of a hardware...
105
click to vote
VISUALIZATION
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we describe a methodology and implementation for interactive dataset traversal using motion-controlled transfer functions. Dataset traversal here refers to the proc...