2766 search results - page 37 / 554 » Hybridizing a Logical Framework |
134
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
Traffic models play an important role in network simulation and performance analysis. This paper presents a frame-level hybrid framework for modeling variable bitrate (VBR) video ...
149
click to vote
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract—This paper presents a novel high-efficient hybrid openclose loop based fine granularity scalable (HOCFGS) coding framework supporting different decoding complexity appli...
120
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
142
click to vote
WIOPT
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— The ever-increasing popularity of web services, growing demand for wireless multimedia and introduction of new, feature-enhanced, hand-held devices has already given bi...
121
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...