3954 search results - page 393 / 791 » Image-based Model Completion |
149
click to vote
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we discuss the application of the two-dimensio- nal paired representation for processing medical images. This representation leads to the effective solution of the ...
152
click to vote
DAC
1999
ACM
16 years 6 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
144
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
Automatically detecting bugs in programs has been a long-held goal in software engineering. Many techniques exist, trading-off varying levels of automation, thoroughness of covera...
110
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Many surface computing prototypes have employed gestures created by system designers. Although such gestures are appropriate for early investigations, they are not necessarily ref...
162
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...