4350 search results - page 755 / 870 » Case studies for contract-based systems |
128
Voted
APCSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
136
Voted
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...
124
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
We consider a class of infinite two-player games on finitely coloured graphs. Our main question is: given a winning condition, what is the inherent blow-up (additional memory) of ...
144
Voted
VISSYM
2007
15 years 6 months ago
2007
Lattice graphs are used as underlying data structures in many statistical processing systems, including natural language processing. Lattices compactly represent multiple possible...
123
Voted
WSC
2007
15 years 6 months ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...