Sciweavers

4120 search results - page 681 / 824
» Exploring ocean data
Sort
View
85
Voted
COGSCI
2010
108views more  COGSCI 2010»
15 years 27 days ago
Do Grammars Minimize Dependency Length?
A well-established principle of language is that there is a preference for closely related words to be close together in the sentence. This can be expressed as a preference for de...
Daniel Gildea, David Temperley
COGSCI
2006
62views more  COGSCI 2006»
15 years 25 days ago
Idiomatic Syntactic Constructions and Language Learning
This article explores the influence of idiomatic syntactic constructions (i.e., constructions whose phrase structure rules violate the rules that underlie the construction of othe...
Michael P. Kaschak, Jenny R. Saffran
CORR
2006
Springer
108views Education» more  CORR 2006»
15 years 25 days ago
Static Analysis using Parameterised Boolean Equation Systems
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
María-del-Mar Gallardo, Christophe Joubert,...
DKE
2006
139views more  DKE 2006»
15 years 24 days ago
Information extraction from structured documents using k-testable tree automaton inference
Information extraction (IE) addresses the problem of extracting specific information from a collection of documents. Much of the previous work on IE from structured documents, suc...
Raymond Kosala, Hendrik Blockeel, Maurice Bruynoog...
FMSD
2006
140views more  FMSD 2006»
15 years 24 days ago
Dealing with practical limitations of distributed timed model checking for timed automata
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
Víctor A. Braberman, Alfredo Olivero, Ferna...