249 search results - page 30 / 50 » Validating Architectural Feature Descriptions using LOTOS |
AIL
2007
15 years 1 months ago
2007
In this paper, we present an approach to commonsense causal explanation of stories that can be used for automatically determining the liable party in legal case descriptions. The a...
116
click to vote
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Logic simulation is a critical component of the design tool flow in modern hardware development efforts. It is used widely ? from high-level descriptions down to gate-level ones ?...
128
click to vote
SOFTVIS
2003
ACM
15 years 6 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
111
click to vote
MAMMO
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we present a boosting based approach for automatic detection of micro-calcifications in mammographic images. Our proposal is based on using local features e...