6960 search results - page 948 / 1392 » Continuity Analysis of Programs |
177
click to vote
IBPRIA
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
147
click to vote
LICS
2006
IEEE
16 years 5 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
158
click to vote
ICECCS
2005
IEEE
15 years 11 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
157
click to vote
IEEEICCI
2005
IEEE
15 years 11 months ago
2005
IEEE
The paper presents a case study that investigates programmer learning during incremental program development. Dialog based protocol and protocol analysis are used to explore the l...
169
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...