3443 search results - page 140 / 689 » More Algebras for Determiners |
ISQED
2008
IEEE
14 years 4 months ago
2008
IEEE
Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are ...
UC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...
ISMIS
1993
Springer
14 years 2 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
CIKM
2006
Springer
14 years 2 months ago
2006
Springer
With the flourish of the Web, online review is becoming a more and more useful and important information resource for people. As a result, automatic review mining and summarizing ...
FC
2008
Springer
14 years 5 days ago
2008
Springer
Governments and commercial companies connect more and more computer systems to the Internet, giving people easier access to services. Many of these online services handle personal ...