 IDEALS Home
 →
 College of Engineering
 →
 Dept. of Computer Science
 →
 Browse Dept. of Computer Science by Title
Browse Dept. of Computer Science by Title
Now showing items 705724 of 2082

(20120206)The severity and number of intrusions on computer networks are rapidly increasing. Preserving the availability and integrity of networked computing systems in the face of those fastspreading intrusions requires advances ...
application/pdf
PDF (3Mb) 
(20110315)Parametric properties are behavioral properties over program events that depend on one or more parameters. Parameters are bound to concrete data or objects at runtime, which makes parametric properties particularly suitable ...
application/pdf
PDF (1Mb) 
(1988)Explanationbased learning (EBL) is a learning method which uses existing knowledge of the domain to construct an explanation for why a specific example is a member of a concept or why a specific combination of actions ...
application/pdf
PDF (11Mb) 
application/pdf
PDF (3Mb) 
(1992)The research contribution of this dissertation is a formal, computational model of the semantics of negation in natural language; its major components are two knowledge representation formalisms with Boolean semantics: a ...
application/pdf
PDF (10Mb) 
(20130822)Due to the abundance and rapid growth of opinionated data on the Web, research on opinion mining and summarization techniques has received a lot of attention from industry and academia. Most previous studies on opinion ...
application/pdf
PDF (1Mb) 
(200405)We study generalization properties of the area under an ROC curve (AUC), a quantity that has been advocated as an evaluation criterion for bipartite ranking problems. The AUC is a different and more complex term than the ...
application/pdf
PDF (375Kb) 
(1989)We study the numerical solution of Hessenberg form differential algebraic equations by variable stepsize generalized backward difference formulae (GBDF). GBDF methods of sufficiently high order are shown to converge for ...
application/pdf
PDF (3Mb) 
(200708)Needtoknow is a fundamental security concept: a party should not learn information that is irrelevant to its mission. In this paper we show that during a trust negotiation in which parties show their credentials to one ...
application/pdf
PDF (345Kb) 
(20120918)As generalpurpose robots begin to find their way into the household and workplace, there will be a demand for software to run on these robots. We foresee the proliferation of robot apps that use a common set of abstractions ...
application/pdf
PDF (584Kb) 
(20100831)Smoothed aggregationbased (SA) algebraic multigrid (AMG) is a popular and effective solver for systems of linear equations that arise from discretized partial differential equations. While SA has been effective over a ...
application/pdf
PDF (4Mb) 
(1988)Explanationbased learning is a recently developed approach to concept acquisition by computer. In this type of machine learning, a specific problem's solution is generalized into a form that can later be used to solve ...
application/pdf
PDF (11Mb) 
(20100106)This thesis presents a study of a novel summarization problem called contrastive opinion summarization (COS). Given two sets of positively and negatively opinionated sentences which are often the output of an existing ...
application/pdf
PDF (5Mb) 
Generating ExpectedTime Efficient Trajectories for Rapidly Finding an Object in Known Environments (200412)This work addresses the problem of generating a motion strategy for solving a visibilitybased task with a mobile robot equipped with sensors. In particular, the problem is to find a static object  modeled with a probability ...
application/pdf
PDF (2Mb) 
application/pdf
PDF (9Mb) 
(20090818)High performance, massivelyparallel multiphysics simulations are built on efficient mesh data structures. Most data structures are designed from the bottom up, focusing on the implementation of linear algebra routines. ...
application/pdf
PDF (11Mb) 
(200801)As mobile robots operate with limited resources which they carry onboard in large obstructed environments, their success is dependent on how efficiently they move while they avoid collision with obstacles and other robots. ...
application/pdf
PDF (1Mb) 
(1988)We consider problems in geometric probing, the algorithmic study of determining a geometric structure or some aspect of that structure from the results of a mathematical or physical measuring device. A variety of problems ...
application/pdf
PDF (6Mb) 
Geometric Programming Based Optimization of Multiple Periodic Resources in Hierarchical Scheduling (201205)Hierarchical scheduling of periodic resources has been increasingly applied to a wide variety of realtime systems due to its ability to accommodate various applications on a single system through strong temporal isolation. ...
application/pdf
PDF (360Kb) 
(1996)Macromolecules such as proteins and DNA have complex spatial structures which are often important for their biological functions. The idea of molecular shape and shape complementarity play crucial roles in protein folding, ...
application/pdf
PDF (4Mb)
Now showing items 705724 of 2082