Sciweavers

580 search results - page 53 / 116
» An Efficient Implementation of an Active Set Method for SVMs
Sort
View
AGP
2003
IEEE
14 years 19 days ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
DAC
1996
ACM
14 years 1 months ago
Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
CAISE
2005
Springer
14 years 2 months ago
A Generic Model for Integrated Multi-Channel Information Systems
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
Richard Cooper, XianQing Wu
USENIX
2008
13 years 11 months ago
Cutting Corners: Workbench Automation for Server Benchmarking
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...
Piyush Shivam, Varun Marupadi, Jeffrey S. Chase, T...
RAS
2008
136views more  RAS 2008»
13 years 7 months ago
Action evaluation for mobile robot global localization in cooperative environments
This work is about solving the global localization issue for mobile robots operating in large and cooperative environments. It tackles the problem of estimating the pose of a robo...
Andreu Corominas Murtra, Josep Maria Mirats i Tur,...