Sciweavers

2082 search results - page 188 / 417
» Change Paths in Reasoning!
Sort
View
POPL
2010
ACM
16 years 1 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...
ICPR
2006
IEEE
16 years 5 months ago
A Comparison of Texture Features Based on SVM and SOM
Experimental results of texture features derived from Gabor and other four wavelet transforms classified and clustered based on Support Vector Machine (SVMs) and Self-Organizing M...
Chaur-Chin Chen, Chien-Chang Chen, Chih-Ming Chen
TARK
2009
Springer
15 years 10 months ago
Dynamic restriction of choices: a preliminary logical report
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simo...
ASWEC
2005
IEEE
15 years 9 months ago
Virtual Machines, Managed Code and Component Technology
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
John Gough
ISDA
2005
IEEE
15 years 9 months ago
Agent-oriented Design for Network Survivability
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
Mehdi Shajari, Ali A. Ghorbani