Sciweavers

1687 search results - page 53 / 338
» Which pointer analysis should I use
Sort
View
DEON
2010
Springer
15 years 5 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor
100
Voted
NIPS
2001
15 years 4 months ago
Minimax Probability Machine
When constructing a classifier, the probability of correct classification of future data points should be maximized. In the current paper this desideratum is translated in a very ...
Gert R. G. Lanckriet, Laurent El Ghaoui, Chiranjib...
ICDM
2009
IEEE
174views Data Mining» more  ICDM 2009»
15 years 9 months ago
Non-sparse Multiple Kernel Learning for Fisher Discriminant Analysis
—We consider the problem of learning a linear combination of pre-specified kernel matrices in the Fisher discriminant analysis setting. Existing methods for such a task impose a...
Fei Yan, Josef Kittler, Krystian Mikolajczyk, Muha...
114
Voted
FMOODS
2006
15 years 4 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
156
Voted
ISAMI
2010
15 years 17 days ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh