 IDEALS Home
 →
 College of Engineering
 →
 Dept. of Computer Science
 →
 Research and Tech Reports  Computer Science
 →
 Browse Research and Tech Reports  Computer Science by Subject
Browse Research and Tech Reports  Computer Science by Subject "algorithms"
Now showing items 1227 of 27

(200511)We present new algorithms for learning a logical model of actions' effects and preconditions in partially observable domains. The algorithms maintain a logical representation of the set of possible action models after each ...
application/pdf
PDF (197Kb) 
(200508)We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessary for checking a CTL formula instead of ...
application/pdf
PDF (232Kb) 
(200604)Most of the existing learning algorithms take vectors as their input data. A function is then learned in such a vector space for classification, clustering, or dimensionality reduction. However, in some situations, there ...
application/pdf
PDF (185Kb) 
(200505)Filtering denotes any method whereby an agent updates its belief state  its knowledge of the state of the world  from a sequence of actions and observations. In logical filtering, the belief state is a logical formula ...
application/pdf
PDF (325Kb) 
(200603)Resource reclaiming schemes are applied in reservationbased realtime uniprocessor systems to support efficient reclaiming and sharing of computational resources left unused by early completing tasks, improving the response ...
application/pdf
PDF (202Kb) 
(200312)We develop an approach for automatically learning the optimal feature transformation for a given classification problem. The approach is based on extending the principle of risk minimization (RM), commonly used for learning ...
application/pdf
PDF (243Kb) 
(200807)As Internet telephony systems continue to replace existing Public Switched Telephone Network systems, proxy servers running the Session Initiation Protocol (SIP) will continue to grow in importance for VoiceoverIP ...
application/pdf
PDF (102Kb) 
(200505)We study random number generation using a biased source motivated by previous works on this topic, mainly, von Neumman (1951), Elias (1972), Knuth and Yao (1976) and Peres (1992). We study the problem in two cases: first, ...
application/pdf
PDF (500Kb) 
(200508)Kinodynamic and nonholonomic planning problems have differential constraints which restrict admissible velocities and accelerations of robotic systems. Since these differential constraints are ignored in the path planning ...
application/pdf
PDF (2Mb) 
(200607)We present algorithms and hardness results for three resource allocation problems. The first is an abstract admission control problem where the system receives a series of requests and wants to satisfy as many as possible, ...
application/pdf
PDF (498Kb) 
(200705)Spectral methods have recently emerged as a powerful tool for dimensionality reduction and manifold learning. These methods use information contained in the eigenvectors of a data affinity (\ie, itemitem similarity) matrix ...
application/pdf
PDF (273Kb) 
(200705)Linear Discriminant Analysis (LDA) has been a popular method for extracting features which preserve class separability. The projection functions of LDA are commonly obtained by maximizing the between class covariance and ...
application/pdf
PDF (249Kb) 
(200506)Energy efficient routing is a critical problem in multihop wireless networks due to the severe power constraint of wireless nodes. Despite its importance and many research efforts towards it, a distributed routing algorithm ...
application/pdf
PDF (159Kb) 
(200604)Energy efficient routing is a critical problem in multihop wireless networks due to the severe power constraint of wireless nodes. Despite its importance and many research efforts towards it, a distributed routing algorithm ...
application/pdf
PDF (164Kb) 
(200802)Wellcentered meshes (meshes composed of wellcentered simplices) have the advantage of having nice orthogonal dual meshes (the dual Voronoi diagram), which is useful for certain numerical algorithms that require or prefer ...
application/pdf
PDF (889Kb) 
(200508)With the technical advances in ubiquitous computing and wireless networking, there has been an increasing need to capture the context information (such as the location) and to figure it into applications. In this paper, ...
application/pdf
PDF (2Mb)
Now showing items 1227 of 27