Sciweavers

2517 search results - page 116 / 504
» Specifying Weak Sets
Sort
View
CGF
2008
131views more  CGF 2008»
15 years 5 months ago
Concurrent Viewing of Multiple Attribute-Specific Subspaces
In this work we present a point classification algorithm for multi-variate data. Our method is based on the concept of attribute subspaces, which are derived from a set of user sp...
Robert Sisneros, C. Ryan Johnson, Jian Huang
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 5 months ago
Optimal Path Planning under Temporal Logic Constraints
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...
ENTCS
2006
126views more  ENTCS 2006»
15 years 5 months ago
A Congruence Format for Name-passing Calculi
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
Axelle Ziegler, Dale Miller, Catuscia Palamidessi
JSW
2008
105views more  JSW 2008»
15 years 5 months ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke
LOBJET
2008
104views more  LOBJET 2008»
15 years 5 months ago
Une approche formelle de la reconfiguration dynamique
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
M. Simonot, M. Aponte