Sciweavers

769 search results - page 80 / 154
» A Machine Model for Aspect-Oriented Programming
Sort
View
EMNLP
2004
15 years 7 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...
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 9 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
ACRI
2008
Springer
16 years 14 days 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...
164
Voted
IPCCC
2007
IEEE
16 years 12 days 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
184
Voted
UM
2010
Springer
15 years 11 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