3161 search results - page 133 / 633 » Documenting framework behavior |
152
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The eXtensible Markup Language (XML) is regarded generally as having promise of becoming established as the general purpose framework for enabling transfer of data amongst heterog...
156
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an edge-directed super-resolution algorithm for gray level document images without using any training set. This technique creates an image with smooth regions ...
173
click to vote
MTA
2006
15 years 6 months ago
2006
While multimedia documents are sequentially presented to users, an information filtering (IF) system is useful to achieve a good retrieval performance in terms of both quality and ...
152
click to vote
ATAL
2007
Springer
16 years 17 days 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...
165
Voted
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...