3342 search results - page 486 / 669 » Automating Abstract Interpretation |
78
Voted
ILP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...
111
Voted
IMA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. An increasingly important design constraint for software running on ubiquitous computing devices is security, particularly against physical methods such as side-channel a...
98
Voted
IPOM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Traditional telecommunications service providers are undergoing a transition to a shared infrastructure in which multiple services will be offered to customers. These se...
125
click to vote
ISVC
2005
Springer
15 years 6 months 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...
113
Voted
LACL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...