378 search results - page 61 / 76 » Automating Coinduction with Case Analysis |
IPMI
2005
Springer
16 years 20 days ago
2005
Springer
This paper presents a general graph-theoretic technique for simultaneously segmenting multiple closed surfaces in volumetric images, which employs a novel graph-construction scheme...
182
click to vote
ECOOP
2009
Springer
16 years 14 days ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
VLSID
2007
IEEE
16 years 6 days ago
2007
IEEE
Recent advances in microfluidics technology have led to the emergence of miniaturized biochip devices for biochemical analysis. A promising category of microfluidic biochips relie...
177
click to vote
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
Nearly all components that comprise modern information technology, such as Computer Aided Software Engineering (CASE) tools, Enterprise Application Integration (EAI) environments,...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Planning a complex software modification task imposes a high cognitive burden on developers, who must juggle navigating the software, understanding what they see with respect t...