Sciweavers

3630 search results - page 201 / 726
» How to Compare Treebanks
Sort
View
SC
2003
ACM
16 years 12 days ago
GridSAT: A Chaff-based Distributed SAT Solver for the Grid
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
Wahid Chrabakh, Richard Wolski
AI
2003
Springer
16 years 11 days ago
Enumerating the Preconditions of Agent Message Types
Agent communication languages (ACLs) invoke speech act theory and define individual message types by reference to particular combinations of beliefs and desires of the speaker (fea...
Francis Jeffry Pelletier, Renee Elio
GECCO
2003
Springer
16 years 11 days ago
Structural Emergence with Order Independent Representations
Abstract. This paper compares two grammar based Evolutionary Automatic Programming methods, Grammatical Evolution (GE) and Chorus. Both systems evolve sequences of derivation rules...
R. Muhammad Atif Azad, Conor Ryan
JCDL
2010
ACM
259views Education» more  JCDL 2010»
16 years 6 days ago
Exploiting time-based synonyms in searching document archives
Query expansion of named entities can be employed in order to increase the retrieval effectiveness. A peculiarity of named entities compared to other vocabulary terms is that they...
Nattiya Kanhabua, Kjetil Nørvåg
PLDI
2010
ACM
16 years 6 days ago
An analysis of the dynamic behavior of JavaScript programs
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
Gregor Richards, Sylvain Lebresne, Brian Burg, Jan...