832 search results - page 5 / 167 » Characteristic Patterns for LTL |
JBI
2002
13 years 7 months ago
2002
Rapid advances in genome sequencing and gene expression microarray technologies are providing unprecedented opportunities to identify specific genes involved in complex biological...
ACL
1998
13 years 8 months ago
1998
This paper describes novel results on the characteristics of three-party dialogues by quantitatively comparing them with those of two-party. In previous dialogue research, two-par...
IJMC
2008
13 years 7 months ago
2008
: Mobile Data Services (MDS) are increasingly important as revenues from voice calling are decreasing for mobile carriers, and there are many predictions that the use of MDS will i...
CCGRID
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper studies five real-world data intensive workflow applications in the fields of natural language processing, astronomy image analysis, and web data analysis. Data intensiv...
SPIN
1999
Springer
13 years 11 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...