852 search results - page 157 / 171 » Knowledge Base Population: Successful Approaches and Challen... |
CICLING
2001
Springer
13 years 11 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
FMCAD
2008
Springer
13 years 8 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
CONNECTION
2008
13 years 6 months ago
2008
Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
IJNSEC
2006
13 years 6 months ago
2006
On a wired network, physical authentication is implicitly provided by access: if a user is able to plug a cable into a network socket, he must have cleared other security checks s...
ICDE
2009
IEEE
13 years 4 months ago
2009
IEEE
There is a huge wealth of sequence data available, for example, customer purchase histories, program execution traces, DNA, and protein sequences. Analyzing this wealth of data to ...