12487 search results - page 347 / 2498 » Graspable Work Modeling |
134
click to vote
ICGI
1994
Springer
15 years 9 months ago
1994
Springer
We describe a framework for inducing probabilistic grammars from corpora of positive samples. First, samples are incorporated by adding ad-hoc rules to a working grammar; subseque...
126
Voted
SIGADA
1993
Springer
15 years 9 months ago
1993
Springer
The Navy’s Next Generation Computer Resources (NGCR) program set up a Project Support Environment Standards Working Group (PSESWG) to help in the task of establishing interface ...
157
click to vote
LICS
1990
IEEE
15 years 9 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
154
click to vote
ATVA
2007
Springer
15 years 9 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
186
click to vote
3DPVT
2006
IEEE
15 years 8 months ago
2006
IEEE
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...