2516 search results - page 170 / 504 » Integrity Constraints for XML |
158
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
139
click to vote
VTC
2008
IEEE
16 years 25 days ago
2008
IEEE
— New GNSS signals are usually characterized by the presence of secondary codes and high data rates that can make the sign of the transmitted signal change each primary code peri...
137
click to vote
AIED
2007
Springer
16 years 20 days ago
2007
Springer
Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge ac...
158
click to vote
ICWL
2007
Springer
16 years 18 days ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
136
click to vote
ECBS
2005
IEEE
16 years 2 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...