7366 search results - page 722 / 1474 » Development of the Information Systems Implementation Resear... |
358
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...
209
click to vote
AI
2004
Springer
15 years 7 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
171
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
The Much advancement has lately occurred in eCommerce systems’ interfaces. Product specifications listings combined with pictures is no longer considered the benchmark for eComm...
134
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— The dynamics and control of a cable-suspended, two-arm robotic system are developed for an entertainment application. One manipulator arm is controlled to fulfill a user defi...
186
click to vote
COMPSAC
2002
IEEE
16 years 6 days ago
2002
IEEE
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...