4520 search results - page 821 / 904 » Algebraic Techniques for Timed Systems |
118
click to vote
WOSP
2005
ACM
15 years 6 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
101
click to vote
RTAS
2003
IEEE
15 years 6 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
104
Voted
ICMI
2003
Springer
15 years 6 months ago
2003
Springer
We have incorporated interactive skills into an active gaze tracking system. Our active gaze tracking system can identify an object in a cluttered scene that a person is looking a...
117
click to vote
ICDCS
2002
IEEE
15 years 5 months ago
2002
IEEE
Data mining systems aim to discover patterns and extract useful information from facts recorded in databases. A widely adopted approach is to apply machine learning algorithms to ...
134
Voted
ICDE
2002
IEEE
15 years 5 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...