511 search results - page 4 / 103 » More Precise Partition Abstractions |
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract – Current approaches to establish or improve precision of registration and execution in (surgical) robotics, especially milling applications, mostly aim at determining a...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Interface adaptation allows code written for one interface to be used with a software component with another interface. When multiple adapters are chained together to make certain...
IANDC
2011
13 years 2 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
TRIER
2002
13 years 7 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
ILP
2004
Springer
14 years 24 days ago
2004
Springer
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...