Sciweavers

5170 search results - page 824 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
AVI
2008
15 years 9 months ago
Balancing physical and digital properties in mixed objects
Mixed interactive systems seek to smoothly merge physical and digital worlds. In this paper we focus on mixed objects that take part in the interaction. Based on our Mixed Interac...
Céline Coutrix, Laurence Nigay
AAAI
1998
15 years 8 months ago
TRIPS: An Integrated Intelligent Problem-Solving Assistant
We discuss what constitutes an integrated system in AI, and why AI researchers should be interested in building and studying them. Taking integrated systems to be ones that integr...
George Ferguson, James F. Allen
TAMC
2010
Springer
16 years 7 days ago
Algebraic Proofs over Noncommutative Formulas
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
Iddo Tzameret
RTAS
1997
IEEE
15 years 10 months ago
Efficient Run-Time Monitoring of Timing Constraints
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
Aloysius K. Mok, Guangtian Liu
APIN
2002
121views more  APIN 2002»
15 years 7 months ago
Applying Learning by Examples for Digital Design Automation
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
Ben Choi