267 search results - page 22 / 54 » Finding robust solutions in requirements models |
182
click to vote
ICDE
2008
IEEE
16 years 13 days ago
2008
IEEE
Network data models are frequently used as a mechanism to describe the connectivity between spatial features in many emerging GIS applications (location-based services, transporta...
ISSRE
2007
IEEE
15 years 19 days ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
104
Voted
INFOCOM
1999
IEEE
15 years 3 months ago
1999
IEEE
Multi-Protocol over ATM (MPOA) is being considered by the industry as an important short-cut technology that provides an efficient transfer of inter-subnet unicast data in a LANE ...
ICONIP
2008
15 years 16 days ago
2008
Several applications would emerge from the development of efficient and robust sound classification systems able to identify the nature of non-speech sound sources. This paper prop...
105
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we apply state-of-the-art approach to object detection and localisation by incorporating local descriptors and their spatial configuration into a generative probabil...