10038 search results - page 1644 / 2008 » Model Checking for Managers |
195
click to vote
IUI
2006
ACM
16 years 18 days ago
2006
ACM
Question answering (QA) systems take users’ natural language questions and retrieve relevant answers from large repositories of free texts. Despite recent progress in QA researc...
199
click to vote
MSWIM
2006
ACM
16 years 18 days ago
2006
ACM
As mobile devices, such as laptops, PDAs or mobile phones, are getting more and more ubiquitous and are able to communicate with each other via wireless technologies, the paradigm...
173
click to vote
SIGSOFT
2006
ACM
16 years 18 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
218
click to vote
ECCB
2005
IEEE
16 years 8 days ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
236
click to vote
WORDS
2005
IEEE
16 years 6 days ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...