Sciweavers

769 search results - page 80 / 154
» A Machine Model for Aspect-Oriented Programming
Sort
View
122
Voted
EMNLP
2004
15 years 5 months ago
Max-Margin Parsing
We present a novel discriminative approach to parsing inspired by the large-margin criterion underlying support vector machines. Our formulation uses a factorization analogous to ...
Ben Taskar, Dan Klein, Mike Collins, Daphne Koller...
107
Voted
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 7 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
130
Voted
ACRI
2008
Springer
15 years 10 months ago
GP Generation of Pedestrian Behavioral Rules in an Evacuation Model Based on SCA
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...
Stefania Bandini, Sara Manzoni, Giancarlo Mauri, S...
135
Voted
IPCCC
2007
IEEE
15 years 10 months ago
Application Insight Through Performance Modeling
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
Gabriel Marin, John M. Mellor-Crummey
154
Voted
UM
2010
Springer
15 years 8 months ago
Modeling Long-Term Search Engine Usage
Search engines are key components in the online world and the choice of search engine is an important determinant of the user experience. In this work we seek to model user behavio...
Ryen W. White, Ashish Kapoor, Susan T. Dumais