Sciweavers

11066 search results - page 27 / 2214

» Linearity in Process Languages

57

LFCS
1994
Springer

75views Artificial Intelligence» more LFCS 1994»

Propositional Linear Temporal Logic and Language Homomorphisms

15 years 1 months ago

Propositional Linear Temporal Logic and Language Homomorphisms

Download users.ecs.soton.ac.uk

Ulrich Nitsche

claim paper

Read More »

65

Voted

WFLP
2000
Springer

99views Algorithms» more WFLP 2000»

Petri Nets, Flat Languages and Linear Arithmetic

15 years 1 months ago

Petri Nets, Flat Languages and Linear Arithmetic

Download skif.pereslavl.ru

Laurent Fribourg

claim paper

Read More »

56

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

14 years 9 months ago

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

57

TOCL
2002

54views more TOCL 2002»

Datalog LITE: a deductive query language with linear time model checking

14 years 9 months ago

Datalog LITE: a deductive query language with linear time model checking

Download reference.kfupm.edu.sa

Georg Gottlob, Erich Grädel, Helmut Veith

claim paper

Read More »

90

EMNLP
2010

185views Natural Language Processing» more EMNLP 2010»

A Fast Decoder for Joint Word Segmentation and POS-Tagging Using a Single Discriminative Model

14 years 7 months ago

A Fast Decoder for Joint Word Segmentation and POS-Tagging Using a Single Discriminative Model

Download www.cse.ohio-state.edu

We show that the standard beam-search algorithm can be used as an efficient decoder for the global linear model of Zhang and Clark (2008) for joint word segmentation and POS-taggi...

Yue Zhang 0004, Stephen Clark

claim paper

Read More »

« Prev « First page 27 / 2214 Last » Next »