386 search results - page 54 / 78 » Model Classifications and Automated Verification |
136
Voted
GIS
2000
ACM
15 years 2 months 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...
121
Voted
WETICE
2000
IEEE
15 years 7 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...
107
Voted
CHI
2008
ACM
16 years 3 months 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...
58
Voted
DAC
2005
ACM
16 years 3 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...
133
Voted
DAC
2003
ACM
16 years 3 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...