SAC
2009
ACM
13 years 11 months ago
2009
ACM
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
In the past years, the theory and practice of machine learning and data mining have been focused on static and finite data sets from where learning algorithms generate a static m...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
SAC
2009
ACM
13 years 11 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Semantic service discovery architectures that operate in mobile environments must cope with the significant challenges of finding relevant services rapidly, while facing constrain...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
Existing contact modeling in rigid body simulation is inadequate for robotics: no algorithms guarantee both convergence and nonpenetration at multiple contact points in the presen...