9067 search results - page 1639 / 1814 » Adaptive Model Checking |
237
click to vote
KES
2005
Springer
16 years 11 days ago
2005
Springer
Increasing amount of illicit image data transmitted via the internet has triggered the need to develop effective image mining systems for digital forensics purposes. This paper dis...
257
click to vote
LAMAS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract Multi-agent systems (MASs) is an area of distributed artificial intelligence that emphasizes the joint behaviors of agents with some degree of autonomy and the complexiti...
188
click to vote
LOCA
2005
Springer
16 years 11 days ago
2005
Springer
Context information is used by pervasive networking and context-aware programs to adapt intelligently to different environments and user tasks. As the context information is poten...
206
click to vote
MIS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
215
click to vote
PCM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Entropy coding is one of the most important techniques in video codec. Two main criteria to assess an entropy coder are coding efficiency and friendly realization charact...