4480 search results - page 495 / 896 » Prototyping Completion with Constraints Using Computational ... |
166
click to vote
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
172
click to vote
AIR
2002
15 years 6 months ago
2002
E-commerce sites can have large, essentially unbounded, catalogs. With large catalogs comes increasing difficulty for buyers in making use of standard search and browsing faciliti...
223
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
188
click to vote
PETRA
2010
ACM
15 years 8 months ago
2010
ACM
A Human-Computer Interaction (HCI) system that is designed for individuals with severe disabilities to simulate control of a traditional computer mouse is introduced. The camera-b...
203
click to vote
TKDE
2002
15 years 6 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...