386 search results - page 54 / 78 » Model Classifications and Automated Verification |
113
click to vote
GIS
2000
ACM
15 years 10 days ago
2000
ACM
Spatialapplications must managepartwhole (PW) relationships between spatial objects, for example, the division of an administrative region into zones based on land use. Support fo...
101
Voted
WETICE
2000
IEEE
15 years 4 months ago
2000
IEEE
Although employees’ expertise has long been regarded as an important asset in organizations at least on a par with capital, goods and documented information, it is only recently...
CHI
2008
ACM
16 years 28 days ago
2008
ACM
Experience sampling has been employed for decades to collect assessments of subjects' intentions, needs, and affective states. In recent years, investigators have employed au...
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
117
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
In the way they cope with variability, present-day methodologies are onerous, pessimistic and risky, all at the same time! Dealing with variability is an increasingly important as...