17018 search results - page 356 / 3404 » From the How to the What |
347
click to vote
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
15 years 11 months ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
188
click to vote
HUC
2005
Springer
16 years 11 days ago
2005
Springer
When computation moves off the desktop, how will it transform the new spaces that it comes to occupy? How will people encounter and understand these spaces, and how will they inter...
152
click to vote
ICAIL
2003
ACM
16 years 3 days ago
2003
ACM
Effective retrieval of court decisions is important. Automatically identifying legal concepts in the decision texts would be very helpful. In this paper we investigate how a stat...
181
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Opinion mining became an important topic of study in recent years due to its wide range of applications. There are also many companies offering opinion mining services. One proble...