1767 search results - page 207 / 354 » Objects in Context |
157
click to vote
TYPES
1998
Springer
15 years 8 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
132
click to vote
FGR
1996
IEEE
15 years 8 months ago
1996
IEEE
As autonomous robots become increasingly adept at performing simple tasks like moving from place to place and picking up and delivering objects, it is becoming apparent that an im...
122
click to vote
CHI
1994
ACM
15 years 8 months ago
1994
ACM
This paper describes a model-based analysis of errors in expert use of graphical user interfaces. Two mechanisms, speed-accuracy tradeoffs and attention failures, were simulated b...
115
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics is computed by metabolic algorithms which...
126
click to vote
NLDB
2010
Springer
15 years 8 months ago
2010
Springer
Analysis of blogpost writings is an important and growing research area. Both objective and subjective characteristics of a writer are detected. Words have word meaning that is com...