3082 search results - page 594 / 617 » Deviation Analysis: A New Use of Model Checking |
131
click to vote
CHI
1997
ACM
15 years 8 months ago
1997
ACM
—The Amulet user interface development environment makes it easier for programmers to create highly-interactive, graphical user interface software for Unix, Windows and the Macin...
140
click to vote
AAAI
2010
15 years 5 months ago
2010
Multi-Agent Plan Recognition (MAPR) seeks to identify the dynamic team structures and team behaviors from the observations of the activity-sequences of a set of intelligent agents...
150
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Technological advances in high-throughput techniques and efficient data acquisition methods have resulted in a massive amount of life science data. The data is stored ...
149
click to vote
ASUNAM
2011
IEEE
14 years 3 months ago
2011
IEEE
—The problem of predicting links or interactions between objects in a network, is an important task in network analysis. Along this line, link prediction between co-authors in a ...
127
click to vote
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
Traditionally, search engines have ignored the reading difficulty of documents and the reading proficiency of users in computing a document ranking. This is one reason why Web se...