746 search results - page 147 / 150 » On the Generation of Oriented Matroids |
TCS
2008
13 years 7 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
UAIS
2008
13 years 7 months ago
2008
This paper presents the modules that comprise a knowledge-based sign synthesis architecture for Greek sign language (GSL). Such systems combine natural language (NL) knowledge, mac...
BC
2004
13 years 7 months ago
2004
We show that complex visual tasks, such as position- and size-invariant shape recognition and navigation in the environment, can be tackled with simple architectures generated by a...
CJ
2004
13 years 7 months ago
2004
Building footprint simplification is of critical importance to radio propagation predictions in wireless communication systems as the prediction time is closely related to the num...
PRESENCE
2002
13 years 7 months ago
2002
The forces experienced while surgically cutting anatomical tissues from a sheep and two rats were investigated for three scissor types. Data were collected in situ using instrumen...