276 search results - page 48 / 56 » Constraint Propagation as a Proof System |
CANDC
2005
ACM
13 years 9 months ago
2005
ACM
Important design problems are raised in developing software for amateur users, a group distinguished here from novices. The authors argue that these design problems can be approac...
ACL
2008
13 years 9 months ago
2008
For Chinese POS tagging, word segmentation is a preliminary step. To avoid error propagation and improve segmentation by utilizing POS information, segmentation and tagging can be...
ICN
2009
Springer
13 years 5 months ago
2009
Springer
Impulse Radio Ultra Wide Band (IR-UWB) is a promising technology to address Wireless Sensor Network (WSN) constraints. However, existing network simulation tools do not provide a ...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
CIKM
2004
Springer
14 years 1 months ago
2004
Springer
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...