4166 search results - page 365 / 834 » Automating the constraining process |
134
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
121
click to vote
MICCAI
2006
Springer
16 years 5 months ago
2006
Springer
Preoperative planning systems are commonly used for oral implant surgery. One of the objectives is to determine if the quantity and quality of bone is sufficient to sustain an impl...
121
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In the very near future complete households will be entirely networked as a de facto standard. In this poster we briefly describe our work in the area of domotics, where personali...
168
click to vote
ISBI
2008
IEEE
15 years 11 months ago
2008
IEEE
Fluorescent microscopy of biological samples allows noninvasive screening of specific molecular events in-situ. This approach is useful for investigating intricate signalling path...
163
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...