Sciweavers

1022 search results - page 142 / 205
» Stable models and circumscription
Sort
View
VAMOS
2010
Springer
13 years 11 months ago
Leveraging Aspect-Connectors to Improve Stability of Product-Line Variabilities
Abstract--One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder's requirements. However, the stability of...
Marcelo Oliveira Dias, Leonardo Tizzei, Ceí...
ACL
2006
13 years 11 months ago
Novel Association Measures Using Web Search with Double Checking
A web search with double checking model is proposed to explore the web as a live corpus. Five association measures including variants of Dice, Overlap Ratio, Jaccard, and Cosine, ...
Hsin-Hsi Chen, Ming-Shun Lin, Yu-Chuan Wei
ACL
2006
13 years 11 months ago
A Phonetic-Based Approach to Chinese Chat Text Normalization
Chatting is a popular communication media on the Internet via ICQ, chat rooms, etc. Chat language is different from natural language due to its anomalous and dynamic natures, whic...
Yunqing Xia, Kam-Fai Wong, Wenjie Li
ECCV
2010
Springer
13 years 10 months ago
Multiple Target Tracking in World Coordinate with Single, Minimally Calibrated Camera
Tracking multiple objects is important in many application domains. We propose a novel algorithm for multi-object tracking that is capable of working under very challenging conditi...
Wongun Choi, Silvio Savarese
CORR
2008
Springer
208views Education» more  CORR 2008»
13 years 10 months ago
Equilibria, Fixed Points, and Complexity Classes
Many models from a variety of areas involve the computation of an equilibrium or fixed point of some kind. Examples include Nash equilibria in games; market equilibria; computing o...
Mihalis Yannakakis