12981 search results - page 2461 / 2597 » Model Checking and Abstraction |
113
click to vote
IROS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper gives preliminary results about the utilization of an interaction technique called FOLLOW-ME to fasten the selection task for teleoperation system. The imple...
106
click to vote
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper describes an automatic wireless LAN access points planning approach based on a multicriteria modelling and solving. A realistic and efficient wLAN planning ...
113
click to vote
AOSD
2006
ACM
15 years 7 months ago
2006
ACM
Usually, aspects enhance a software product by being composed - or woven - into it. Here, on the other hand, we use aspects to support the software development process itself. The...
121
click to vote
MM
2006
ACM
15 years 7 months ago
2006
ACM
ons for this project. Most recent ones are listed at the end of this abstract. In the future, feature selection will be integrated in the multi-class EM algorithm to improve the pe...
118
Voted
ESCIENCE
2005
IEEE
15 years 7 months ago
2005
IEEE
GridXSLT is an implementation of the XSLT programming language designed for distributed web service orchestration. Based on the functional semantics of the language, it compiles p...