12194 search results - page 180 / 2439 » cans 2010 |
112
Voted
JDCTA
2010
14 years 7 months ago
2010
Combining with the characteristics of equestrian sports and the psycho diagnosis technology and using the tools such as Visual Basic, Photoshop, Microsoft Access, Psychodiagnosis ...
94
Voted
CCCG
2010
15 years 2 months ago
2010
Given a bounded universe {0, 1, . . . , U-1}, we show how to perform (successor) searches in O(log log ) expected time and updates in O(log log ) expected amortized time, where i...
91
Voted
ENTCS
2006
15 years 25 days ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
SIMPAR
2010
14 years 11 months ago
2010
Stability of bipedal locomotion is analyzed using a model of a planar biped written in the framework of systems with unilateral constraints. Based on this model, two different sta...
94
Voted
CNSM
2010
14 years 11 months ago
2010
Confidentiality is a critical aspect in todays Risk Assessment (RA) practices for many industrial organizations. Assessing confidentiality risks is challenging and the result of a ...