2374 search results - page 349 / 475 » The language of machines |
167
click to vote
EDUTAINMENT
2007
Springer
16 years 21 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
158
click to vote
FSTTCS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
184
click to vote
ISSAC
2007
Springer
16 years 20 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
168
click to vote
NLDB
2007
Springer
16 years 20 days ago
2007
Springer
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
174
click to vote
AINA
2005
IEEE
16 years 4 days ago
2005
IEEE
The number of web-based information systems has been increasing since Internet became the global open network accessible for all. The recent Semantic Web that provides supplementa...