1884 search results - page 269 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
185
Voted
ISMIS
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Discovering significant meta-information from document collections is a critical factor for knowledge distribution and preservation. This paper presents a system that im...
202
Voted
ISVC
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...
176
click to vote
LPNMR
2005
Springer
16 years 14 days ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
181
click to vote
SAS
2005
Springer
16 years 13 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
168
Voted
CD
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...