Sciweavers

2249 search results - page 439 / 450
» Representations for category disambiguation
Sort
View
ENTCS
2002
181views more  ENTCS 2002»
14 years 9 months ago
Alias verification for Fortran code optimization
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
Thi Viet Nga Nguyen, François Irigoin
JUCS
2000
102views more  JUCS 2000»
14 years 9 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
GIS
2002
ACM
14 years 9 months ago
A WFS-based mediation system for GIS interoperability
The proliferation of spatial data on the Internet is beginning to allow a much wider access to data currently available in various Geographic Information Systems (GIS). In order t...
Omar Boucelma, Mehdi Essid, Zoé Lacroix
JOOP
1998
98views more  JOOP 1998»
14 years 9 months ago
Design Patterns as Language Constructs
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
Jan Bosch
TOG
2002
212views more  TOG 2002»
14 years 9 months ago
Least squares conformal maps for automatic texture atlas generation
A Texture Atlas is an efficient color representation for 3D Paint Systems. The model to be textured is decomposed into charts homeomorphic to discs, each chart is parameterized, a...
Bruno Lévy, Sylvain Petitjean, Nicolas Ray,...