1422 search results - page 83 / 285 » Complementation in Abstract Interpretation |
144
click to vote
BXML
2003
15 years 7 months ago
2003
Abstract. This paper describes the work done in developing a real automatic meteorological information system by means of building a VoiceXML framework, or browser, over an open so...
158
click to vote
VMCAI
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
175
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. We introduce a new methodology for radiometric reconstruction from multiple images. It opens new possibilities because it allows simultaneous recovery of varying unknown ...
166
Voted
EUROMICRO
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable ...
172
click to vote
VL
2009
IEEE
16 years 24 days ago
2009
IEEE
Domain specific languages (DSLs) play a cornerstone Model-Driven Software Development. The abstract syntax of a DSL is usually defined by a metamodel, while inplace model transf...