4592 search results - page 275 / 919 » Framework for Studying Substitution |
190
click to vote
AUIC
2005
IEEE
16 years 1 months ago
2005
IEEE
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
201
click to vote
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
Object detection in aerial imagery has been well studied in computer vision for years. However, given the complexity of large variations of the appearance of the object and the ba...
153
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
Bitstream switching is an effective way to deal with bandwidth variation in transmitting multimedia over time-varying channels. A number of bitstream switching mechanisms have bee...
193
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
172
click to vote
CHARME
2005
Springer
16 years 29 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...