2501 search results - page 427 / 501 » Logics with Rank Operators |
117
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
A text parsing component designed to be part of a system that assists students in academic reading an writing is presented. The parser can automatically add a relational discourse...
111
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...
131
click to vote
ESCIENCE
2005
IEEE
15 years 9 months ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...
137
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
123
click to vote
IDEAS
2005
IEEE
15 years 9 months ago
2005
IEEE
Laboratory information systems (LIMS) are used in life science research to manage complex experiments. Since LIMS systems are often shared by different research groups, powerful a...