601 search results - page 92 / 121 » A Noisy-Channel Approach to Question Answering |
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
1 The unstructured Peer-to-Peer (P2P) systems usually use a “blind search” method to find the requested data object by propagating a query to a number of peers randomly. In or...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
The most common computer authentication method is to use alphanumerical usernames and passwords. This method has been shown to have significant drawbacks. For example, users tend ...
SSDBM
2005
IEEE
14 years 2 months ago
2005
IEEE
With the growing demand on cluster analysis for categorical data, a handful of categorical clustering algorithms have been developed. Surprisingly, to our knowledge, none has sati...