3443 search results - page 275 / 689 » More Algebras for Determiners |
155
click to vote
ISWC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper compares position measurement techniques using dead reckoning. We are seeking to find a technique which is suitable for use by pedestrians, and have compared a number ...
159
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
Today’s ASIC designs consist of more memory in terms of both area and number of instances. The shrinking of geometries has an even greater effect upon memories due to their tigh...
218
click to vote
TIME
2003
IEEE
15 years 12 months ago
2003
IEEE
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are an enrichment of modal logics with certain first-order features which are algo...
183
click to vote
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Assigning an application’s fault-tolerance properties (e.g., replication style, checkpointing frequency) statically, and in an arbitrary manner, can lead to the application not ...
176
click to vote
SIGCPR
2003
ACM
15 years 12 months ago
2003
ACM
Enterprise Resource Planning (ERP) systems are large, complex integrated software applications that often take years to implement. This study examined a major determinant of succe...