Sciweavers

11573 search results - page 1666 / 2315
» Designing Relational Databases
Sort
View
197
Voted
COLING
1990
15 years 8 months ago
A Logic-Based Government-Binding Parser for Mandarin Chinese
Mandarin Chinese is a highly flexible and context-sensitive language. It is difficult to do the case marking and index assignment during the parsing of Chinese sentences. This pap...
Hsin-Hsi Chen
211
Voted
WCET
2007
15 years 8 months ago
WCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisf...
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus ...
CADE
2010
Springer
15 years 8 months ago
Analytic Tableaux for Higher-Order Logic with Choice
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
Julian Backes, Chad E. Brown
174
Voted
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 8 months ago
Experimental verification of formation control with distributed cameras
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
He Bai, Karen D. Chapin, John Wason, John T. Wen
ERCIMDL
2010
Springer
139views Education» more  ERCIMDL 2010»
15 years 8 months ago
User-Contributed Descriptive Metadata for Libraries and Cultural Institutions
: The Library of Congress and other cultural institutions are collecting highly informative user-contributed metadata as comments and notes expressing historical and factual inform...
Michael A. Zarro, Robert B. Allen
« Prev « First page 1666 / 2315 Last » Next »