Sciweavers

4836 search results - page 278 / 968
» Exploring the Similarity Space
Sort
View
ECAI
2004
Springer
16 years 5 days ago
A Generalized Quadratic Loss for Support Vector Machines
The standard SVM formulation for binary classification is based on the Hinge loss function, where errors are considered not correlated. Due to this, local information in the featu...
Filippo Portera, Alessandro Sperduti
SIGSOFT
2009
ACM
16 years 7 months ago
Symbolic pruning of concurrent program executions
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang
CODES
2006
IEEE
16 years 25 days ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
ROBOCUP
2005
Springer
108views Robotics» more  ROBOCUP 2005»
16 years 8 days ago
Successful Search and Rescue in Simulated Disaster Areas
RoboCupRescue Simulation is a large-scale multi-agent simulation of urban disasters where, in order to save lives and minimize damage, rescue teams must effectively cooperate despi...
Alexander Kleiner, Michael Brenner, Tobias Brä...
170
Voted
ISCAS
2003
IEEE
128views Hardware» more  ISCAS 2003»
16 years 1 days ago
Placement with symmetry constraints for analog layout using red-black trees
– The traditional way of approaching placement problems in computer-aided design (CAD) tools for analog layout is to explore an extremely large search space of feasible or unfeas...
Sarat C. Maruvada, Karthik Krishnamoorthy, Subodh ...