57 search results - page 11 / 12 » Mizar's Soft Type System |
EUSFLAT
2007
14 years 11 months ago
2007
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
RTSS
1996
IEEE
15 years 1 months ago
1996
IEEE
An integrated platform which is capable of meeting the requirements of both traditional real-time control processing and multimedia processing has enormous potential for accommoda...
96
Voted
MC
2007
2007
Embodied Media and Mixed Reality for Social and Physical Interactive Communication and Entertainment
14 years 11 months ago
This talk outlines new facilities within human media spaces supporting embodied interaction between humans, animals, and computation both socially and physically, with the aim of ...
157
Voted
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
The Boolean semantics of SQL queries cannot adequately capture the "fuzzy" preferences and "soft" criteria required in non-traditional data retrieval applicati...
RTSS
2000
IEEE
15 years 1 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...