4463 search results - page 366 / 893 » computing 2000 |
170
click to vote
ISMVL
2000
IEEE
15 years 11 months ago
2000
IEEE
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...
196
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
167
click to vote
PEPM
2000
ACM
15 years 10 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
186
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
City councils have not yet benefited as much from modern information systems as the other administrations. In the Cuparla project, members of the Stuttgart city councils were each...
158
Voted
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
All the methods for estimating the fundamental matrix do not naturally exploit the rank-2 constraint. For these reason some few rank-2 parameterizations of the fundamental matrix ...