Sciweavers

3040 search results - page 69 / 608
» Independent Natural Extension
Sort
View
STACS
2001
Springer
14 years 10 days ago
A Toolkit for First Order Extensions of Monadic Games
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
David Janin, Jerzy Marcinkowski
BMCBI
2006
122views more  BMCBI 2006»
13 years 8 months ago
BioMoby extensions to the Taverna workflow management and enactment software
Background: As biology becomes an increasingly computational science, it is critical that we develop software tools that support not only bioinformaticians, but also bench biologi...
Edward A. Kawas, Martin Senger, Mark D. Wilkinson
IJCV
2008
157views more  IJCV 2008»
13 years 7 months ago
A General Method for Sensor Planning in Multi-Sensor Systems: Extension to Random Occlusion
Systems utilizing multiple sensors are required in many domains. In this paper, we specifically concern ourselves with applications where dynamic objects appear randomly and the s...
Anurag Mittal, Larry S. Davis
CORR
2008
Springer
100views Education» more  CORR 2008»
13 years 8 months ago
A note on regular Ramsey graphs
We prove that there is an absolute constant C > 0 so that for every natural n there exists a trianglefree regular graph with no independent set of size at least C n log n.
Noga Alon, Sonny Ben-Shimon, Michael Krivelevich
INLG
2010
Springer
13 years 5 months ago
Cross-linguistic Attribute Selection for REG: Comparing Dutch and English
In this paper we describe a cross-linguistic experiment in attribute selection for referring expression generation. We used a graph-based attribute selection algorithm that was tr...
Mariët Theune, Ruud Koolen, Emiel Krahmer