386 search results - page 54 / 78 » Model Classifications and Automated Verification |
GIS
2000
ACM
13 years 7 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...
WETICE
2000
IEEE
14 years 6 days 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
14 years 8 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...
DAC
2005
ACM
14 years 8 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...
DAC
2003
ACM
14 years 8 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...