7168 search results - page 892 / 1434 » A Factorization Approach to Grouping |
202
click to vote
ISCAS
2003
IEEE
16 years 1 months ago
2003
IEEE
– The traditional way of approaching placement problems in computer-aided design (CAD) tools for analog layout is to explore an extremely large search space of feasible or unfeas...
180
click to vote
ISSRE
2003
IEEE
16 years 1 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
233
click to vote
WISE
2003
Springer
16 years 29 days ago
2003
Springer
There is much current interest in publishing and viewing databases as XML documents. The general benefits of this approach follow from the popularity of XML and the tool set avai...
234
click to vote
AMKM
2003
Springer
16 years 28 days ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
214
click to vote
ASM
2003
ASM
16 years 28 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...