Sciweavers

19003 search results - page 339 / 3801
» We Need Assurance
Sort
View
LICS
2005
IEEE
16 years 11 days ago
Temporal Logics over Unranked Trees
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
Pablo Barceló, Leonid Libkin
ICTAI
1999
IEEE
15 years 11 months ago
A Practical Student Model in an Intelligent Tutoring System
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
Yujian Zhou, Martha W. Evens
JLP
2010
110views more  JLP 2010»
15 years 5 months ago
Similarity, topology, and uniformity
We generalize various notions of generalized metrics even further to one general concept comprising them all. For convenience, we turn around the ordering in the target domain of ...
Reinhold Heckmann
199
Voted
LREC
2010
156views Education» more  LREC 2010»
15 years 5 months ago
A Description of Morphological Features of Serbian: a Revision using Feature System Declaration
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
Cvetana Krstev, Ranka Stankovic, Dusko Vitas
ICDE
2000
IEEE
89views Database» more  ICDE 2000»
16 years 8 months ago
Automating Statistics Management for Query Optimizers
Statistics play a key role in influencing the quality of plans chosen by a database query optimizer. In this paper, we identify the statistics that are essential for an optimizer....
Surajit Chaudhuri, Vivek R. Narasayya