4617 search results - page 833 / 924 » Automation of Diagrammatic Reasoning |
170
click to vote
HAPTICS
2006
IEEE
16 years 26 days ago
2006
IEEE
Conventional cell manipulation techniques do not have the ability to provide force feedback to an operator. Poor control of cell injection force is one of the primary reasons for l...
177
click to vote
KBSE
2006
IEEE
16 years 25 days ago
2006
IEEE
The evolution of Software Engineering methodology, from waterfall to spiral, from spiral to agile, indicates that high concurrency, iterative development and short cycles are key ...
155
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
163
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
199
click to vote
LICS
2006
IEEE
16 years 25 days ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...