1420 search results - page 157 / 284 » Multi-point Constructive Search |
158
click to vote
AIMSA
1998
Springer
15 years 8 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
128
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Web Directories have emerged as an alternative to the Search Engines for locating information on the Web. Typically, Web Directories rely on humans putting in significant time and ...
126
Voted
CTRSA
2006
Springer
15 years 8 months ago
2006
Springer
For years, the cryptographic community has searched for good nonlinear functions. Bent functions, almost perfect nonlinear functions, and similar constructions have been suggested ...
133
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
139
click to vote
LREC
2008
15 years 6 months ago
2008
Question Answering systems are systems that enable the user to ask questions in natural language and to also receive an answer in natural language. Most existing systems, however,...