7213 search results - page 997 / 1443 » Automated model grouping |
176
Voted
NMR
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
158
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
158
click to vote
3DIM
2003
IEEE
16 years 4 days ago
2003
IEEE
Motivated by the requirements of the present archaeology, we are developing an automated system for archaeological classification and reconstruction of ceramics. Due to the natur...
181
click to vote
COMPSAC
2003
IEEE
16 years 4 days ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
194
click to vote
ISQED
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...