1301 search results - page 132 / 261 » Specifications via Realizability |
135
click to vote
HICSS
2007
IEEE
16 years 17 days 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...
170
click to vote
AIME
2007
Springer
16 years 12 days 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...
174
click to vote
ACCV
2007
Springer
16 years 11 days 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...
171
click to vote
IJCNN
2006
IEEE
16 years 7 days 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...
167
click to vote
IV
2006
IEEE
16 years 7 days 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...