2748 search results - page 270 / 550 » Generating Object-Z Specifications from Use Cases |
149
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
148
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper proposes a new interactive hybrid non-rigid registration framework that combines any intensity-based algorithm with a feature-based component, using an iterative dual e...
136
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
127
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
This paper describes an ontology-based service discovery front-end interface for GloServ. GloServ is a service discovery engine, which is an ontologybased distributed service disco...
124
click to vote
RT
2004
Springer
15 years 9 months ago
2004
Springer
We present a new image-based stereoscopic painterly algorithm that we use to automatically generate stereoscopic paintings. Our work is motivated by contemporary painters who have...