1301 search results - page 132 / 261 » Specifications via Realizability |
105
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
137
Voted
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Lately, there have been considerable efforts to computerize Clinical Practice Guidelines (CPG) so that they can be executed via Clinical Decision Support Systems (CDSS) at the poin...
144
Voted
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...
139
click to vote
IJCNN
2006
IEEE
15 years 9 months ago
2006
IEEE
—It is proposed that the creation of Artificial General Intelligence (AGI) at the human level and ultimately beyond is a problem addressable via integrating computer science algo...
130
click to vote
IV
2006
IEEE
15 years 9 months ago
2006
IEEE
We describe a novel application for sonic events namely their generation via mathematical functions implemented on a universal all purpose Java platform. Their design is driven by...