3408 search results - page 310 / 682 » Logic, language, information and computation |
245
click to vote
ECEASST
2008
15 years 7 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
182
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
205
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Abstract Traditional ontology mapping techniques are not strictly applicable in a dynamic and distributed environment (e.g. P2P and pervasive computing) in which on-the-fly alignm...
215
click to vote
GROUP
2005
ACM
16 years 1 months ago
2005
ACM
A common problem in chat is that the chat display only reveals the temporal order of the conversation. A better user interface is desired that reveals the logical order of the mes...
255
click to vote
KES
2004
Springer
16 years 1 months ago
2004
Springer
The main challenge in handwritten character recognition involves the development of a method that can generate descriptions of the handwritten objects in a short period of time. Du...