498 search results - page 71 / 100 » Model Validation using Automatically Generated Requirements-... |
137
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
123
Voted
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
171
click to vote
CVPR
2009
IEEE
15 years 5 months ago
2009
IEEE
Segmentation of document images remains a challenging vision problem. Although document images have a structured layout, capturing enough of it for segmentation can be difficult....
ICCAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Detailed electromagnetic analysis of three-dimensional structures in multilayered dielectric media is critical for automatic generation of equivalent circuit models for the interc...
125
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...