2004 search results - page 346 / 401 » Comparison of Model Checking Tools for Information Systems |
100
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
MMS
2008
14 years 11 months ago
2008
Nowadays, users not only want to watch digital videos on a PC but also use mobile devices to play back multimedia content. Video adaptation algorithms enable the visualization of ...
ECHT
1994
15 years 3 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
106
click to vote
LREC
2010
15 years 1 months ago
2010
Named Entity Recognition is a relatively well-understood NLP task, with many publicly available training resources and software for English. Other languages tend to be underserved...
115
click to vote
ISCA
2008
IEEE
14 years 11 months ago
2008
IEEE
The goal of this paper is to identify and discuss scalability issues for the measurement-based analysis of the availability in large-scale networks using IP multicast technology. ...